Ben Gamari ben at
Mon Feb 13 14:03:12 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?

Hmm, I'm having trouble reproducing this behavior.  I wonder whether
this is due to some per-user preference.


- 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