Re: [GHC] #15292: ghc_ticker loops if permission denied on timerfd