> this is perfectly acceptable for you to do this as a bug reporter. Any
> bugs that last will hopefully end up on the tracker via me (that's /my/
> job)

I can see a problem with people like me who do not check the bug tracking
thingy regularly. I certainly would have a look at some src/BUGS or
src/mathed/BUGS file, since this is just six or seven keystrokes away...

Andre'

-- 
André Pönitz ............................................. [EMAIL PROTECTED]

Reply via email to