Date: Sat, 4 Nov 2000 07:10:02 -0800 (PST) From: MIHIRA Yoshiro <sanpei@itc.keio.ac.jp> To: freebsd-ports@FreeBSD.org Subject: Re: ports/19232: port name changed and being updated Message-ID: <200011041510.HAA61516@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/19232; it has been noted by GNATS. From: MIHIRA Yoshiro <sanpei@itc.keio.ac.jp> To: freebsd-gnats-submit@FreeBSD.org, phj@cn.freebsd.org Cc: Subject: Re: ports/19232: port name changed and being updated Date: Sun, 05 Nov 2000 00:08:47 +0900 I think this PR was duplicated by ports/18867. May I close this pr? 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?200011041510.HAA61516>