From owner-freebsd-ports Tue Jun 13 17:30: 8 2000 Delivered-To: freebsd-ports@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21]) by hub.freebsd.org (Postfix) with ESMTP id 993A337BB3B for ; Tue, 13 Jun 2000 17:30:02 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.9.3/8.9.2) id RAA10468; Tue, 13 Jun 2000 17:30:02 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Date: Tue, 13 Jun 2000 17:30:02 -0700 (PDT) Message-Id: <200006140030.RAA10468@freefall.freebsd.org> To: freebsd-ports@FreeBSD.org Cc: From: Peng HaiJie Subject: Re: ports/19232: port name changed and being updated Reply-To: Peng HaiJie 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: Peng HaiJie To: freebsd-gnats-submit@FreeBSD.org Cc: Subject: Re: ports/19232: port name changed and being updated Date: Wed, 14 Jun 2000 08:29:13 +0800 (CST) I forgot to change it.it should be stardict. thanks Trevor! -phj To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message