Synopsis: followup to PR#835

State-Changed-From-To: open-closed
State-Changed-By: marc
State-Changed-When: Sat Aug  9 12:49:42 PDT 1997
State-Changed-Why:
Thanks for the suggestion; that was an oversight and was
fixed in the source tree shortly after 1.2.1 was released.

Reply via email to