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