allow resubmitting changes after "This ticket has been modified by someone else since you started"
|Reported by:||Owned by:|
When editing a ticket that has been changed since the page was loaded, the "This ticket has been modified by someone else since you started" appears. Makes total sense.
What's problematic is there's no way to move forward. (Beside loading the page again in a new tab, redoing your changes and trying to submit again.) And sometimes that needs to be done several times due to commit messages being appended to the ticket, etc.
It would be nice if there was a check box that, in effect, allows the user to say "Thank you for the warning. I still want to save these changes."
I noticed there's a plugin for this, http://trac-hacks.org/wiki/OverrideEditPlugin, but it seems like functionality that should be in the core.