Re: [GHC] #8307: iOS patch: fix hangs in threaded runtime