Re: [GHC] #8235: Race condition in IO manager