The bug was inserted by a patch on 12th Feb between 12:55 and 12:58 I
attach the relevant parts of the diff to this message. Maybe the
responsible person could have a look again. I suppose you know your
handwriting ;-)
Moreover, it would be really nice if not too many people would interfere
during the current mathed cleanup. Especially "drawing issues" is nothing
that I'd consider crucial _right now_.
Although it is Friday I'd like to add:
Please!
Andre'
--
André Pönitz ........................................ [EMAIL PROTECTED]
