Simon Peyton Jones simonpj at
Mon Feb 13 13:29:10 UTC 2017

Trac tickets now open up with the "Modify ticket" boxes open.  That makes them vulnerable to accidental edits.  Could it be closed by default as it used to be?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list