Re: [GHC] #10664: T8131 times out on master