Re: Trac

Simon Peyton Jones via ghc-devs 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. Cheers, - Ben