Re: [GHC] #12912: IO library should not use select()