Ben Gamari ben at
Mon Feb 13 18:28:38 UTC 2017

Simon Peyton Jones via ghc-devs <ghc-devs at> writes:

> 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?

Let me know if you are still seeing this; I believe it should be
resolved if you refresh.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list