Michael Martinez Fri, 17 May 2002 02:00:19 -0700
It also appears this mailing list address was broken. I thought we had fixed that, but I only just caught the problem tonight. Sorry.