On 24/06/11 08:33, Thomas Gries wrote:
When I think that a version committed by myself r90650
(marked as new)
is fully obsolete and
already replaced in my other commit r90684 (marked as fixed)
I would say, if it is reverted, mark it reverted :)
--
Ashar Voultoiz