<div dir="ltr">I'm seeing the same thing as Simon, when I open a ticket, e.g. <a href="https://ghc.haskell.org/trac/ghc/ticket/4012">https://ghc.haskell.org/trac/ghc/ticket/4012</a>, 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.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Feb 13, 2017 at 10:03 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org" class="gmail_msg" target="_blank">ghc-devs@haskell.org</a>> writes:<br class="gmail_msg">
<br class="gmail_msg">
> Trac tickets now open up with the "Modify ticket" boxes open. That<br class="gmail_msg">
> makes them vulnerable to accidental edits. Could it be closed by<br class="gmail_msg">
> default as it used to be?<br class="gmail_msg">
<br class="gmail_msg">
Hmm, I'm having trouble reproducing this behavior.  I wonder whether<br class="gmail_msg">
this is due to some per-user preference.<br class="gmail_msg">
<br class="gmail_msg">
Cheers,<br class="gmail_msg">
<br class="gmail_msg">
- Ben<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
ghc-devs mailing list<br class="gmail_msg">
<a href="mailto:ghc-devs@haskell.org" class="gmail_msg" target="_blank">ghc-devs@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br class="gmail_msg">
</blockquote></div>