Date: Sun, 5 Nov 2000 01:38:06 -0800 (PST) From: <sanpei@FreeBSD.org> To: phj@cn.freebsd.org, sanpei@FreeBSD.org, freebsd-ports@FreeBSD.org Subject: Re: ports/19232: port name changed and being updated Message-ID: <200011050938.BAA52592@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: port name changed and being updated State-Changed-From-To: open->closed State-Changed-By: sanpei State-Changed-When: Sun Nov 5 01:37:39 PST 2000 State-Changed-Why: This PR was duplicated by ports/18867. http://www.freebsd.org/cgi/query-pr.cgi?pr=19232 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200011050938.BAA52592>