Re: [GHC] #12038: Shutdown interacts badly with requestSync()