Re: [GHC] #7305: T5975a is broken on Windows