ports/46839: portsdb fails

[Pete Fritchman]

Synopsis: portsdb fails

State-Changed-From-To: feedback->closed
State-Changed-By: petef
State-Changed-When: Sat Apr 19 08:52:42 CDT 2003
State-Changed-Why: 
Feedback timeout.  It looks like you caught the ports tree at a bad
time, "make index" periodically breaks due to typos and it's usually
fixed shortly - your best course of action when you can't make index is
to wait a few hours and cvsup.

http://www.freebsd.org/cgi/query-pr.cgi?pr=46839