George Colpitts george.colpitts at
Mon Feb 13 16:25:15 UTC 2017

I'm seeing the same thing as Simon, when I open a ticket, e.g., at the bottom , after the
comments I see a Modify Ticket and Action box as if I had clicked the
Modify link at the top. I believe this is new behavior.

On Mon, Feb 13, 2017 at 10:03 AM Ben Gamari <ben at> wrote:

> 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.
> Cheers,
> - Ben
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list