At 12:04 PM -0500 11/13/97, [EMAIL PROTECTED] wrote:
>Is it still working happily?  Can we close this report?

The server has been up since the patch was applied (1 week) and does not
seem to have the problem. Since I've seen no other mention of the bug or
further comments, the report can be closed.

-Geoff


Reply via email to