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?

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