Re: [commit: ghc] master: build: make haddock a bit less chatty (e796026)