<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif"><a href="https://mail.haskell.org/mailman/listinfo/cvs-ghc">This email list</a> appears to be dead but I figured it might forward to <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">ghc-devs</a>. Just checking...</div></div>