On Thu, 2008-09-04 at 20:23 +0800, Max (Weijun) Wang wrote: > The bug id should have been 6740833.
Aha! The 7 and 4 got swapped. Thanks. And the jcheck scripts would then have prevented that bug to ever get fixed again. Although I guess you could reuse the swapped bug number for that one then :) It might be an idea to add some kind of override possibility to the commit message to say "yes, I know this bug number has been used before, but this commit is the real fix". Maybe just add a + to the bug number to reuse one? Cheers, Mark
