Re: [GHC] #11802: Make a Win32 release