Re: general/2541: Should I remove 1.3.0?

[marc]

Synopsis: Should I remove 1.3.0?

State-Changed-From-To: open-closed
State-Changed-By: marc
State-Changed-When: Thu Jul  2 01:50:40 PDT 1998
State-Changed-Why:
We are not able to comment on that at this time.  Please
be patient a few days.