On mar, 2002-03-12 at 04:02, 421621(a)ingta.unizar.es wrote:
It looks okay to me. Either Jimbo fixed it *really* fast, or the bug
only shows up in certain circumstances.
Can you check again, and if it's still broken, give more information to
help us reproduce the problem? (What browser, what preferences you have
set, etc)
-- brion vibber (brion @
pobox.com)