Re: [GHC] #10345: Testsuite timeout_multiplier setting does not work as expected