[Git][ghc/ghc][master] 2 commits: Document removal of the signal-based interval timer