Re: [GHC] #12715: T3994 is intermittently broken on Windows