Detect and reject changes to tickets that have been modified since the user started editing. Closes #1228
Authored by: jonas 2005-07-05
Parent: [r1897]
Child: [r1899]