From owner-freebsd-ports  Sun Nov  5  1:38: 7 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 6C0E037B4CF; Sun,  5 Nov 2000 01:38:06 -0800 (PST)
Received: (from sanpei@localhost)
	by freefall.freebsd.org (8.9.3/8.9.2) id BAA52592;
	Sun, 5 Nov 2000 01:38:06 -0800 (PST)
	(envelope-from sanpei@FreeBSD.org)
Date: Sun, 5 Nov 2000 01:38:06 -0800 (PST)
From: <sanpei@FreeBSD.org>
Message-Id: <200011050938.BAA52592@freefall.freebsd.org>
To: phj@cn.freebsd.org, sanpei@FreeBSD.org, freebsd-ports@FreeBSD.org
Subject: Re: ports/19232: port name changed and being updated
Sender: owner-freebsd-ports@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

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