Re: [GHC] #12751: T5611 fails non-deterministically on OSX