From owner-freebsd-ports  Sat Nov  4  7:10: 5 2000
Delivered-To: freebsd-ports@freebsd.org
Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21])
	by hub.freebsd.org (Postfix) with ESMTP id 0829237B4C5
	for <freebsd-ports@FreeBSD.org>; Sat,  4 Nov 2000 07:10:03 -0800 (PST)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.9.3/8.9.2) id HAA61516;
	Sat, 4 Nov 2000 07:10:02 -0800 (PST)
	(envelope-from gnats@FreeBSD.org)
Date: Sat, 4 Nov 2000 07:10:02 -0800 (PST)
Message-Id: <200011041510.HAA61516@freefall.freebsd.org>
To: freebsd-ports@FreeBSD.org
Cc: 
From: MIHIRA Yoshiro <sanpei@itc.keio.ac.jp>
Subject: Re: ports/19232: port name changed and being updated
Reply-To: MIHIRA Yoshiro <sanpei@itc.keio.ac.jp>
Sender: owner-freebsd-ports@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

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