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