[ghc-steering-committee] Re: #765: Pun warnings, recommendation: accept

Jakob Brünker wrote:

I recommend we accept.

Proposal seems sensible to me. Accept! Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/