From owner-freebsd-ports-bugs@FreeBSD.ORG Thu May 27 15:28:36 2004 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 68BB616A4D0; Thu, 27 May 2004 15:28:36 -0700 (PDT) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 440BB43D49; Thu, 27 May 2004 15:28:36 -0700 (PDT) (envelope-from pav@FreeBSD.org) Received: from freefall.freebsd.org (pav@localhost [127.0.0.1]) i4RMRhFp037245; Thu, 27 May 2004 15:27:43 -0700 (PDT) (envelope-from pav@freefall.freebsd.org) Received: (from pav@localhost) by freefall.freebsd.org (8.12.11/8.12.11/Submit) id i4RMRhx6037241; Thu, 27 May 2004 15:27:43 -0700 (PDT) (envelope-from pav) Date: Thu, 27 May 2004 15:27:43 -0700 (PDT) From: Pav Lucistnik Message-Id: <200405272227.i4RMRhx6037241@freefall.freebsd.org> To: user@unknown.nu, pav@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/67272: Delete port devel/camlp4 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 27 May 2004 22:28:36 -0000 Synopsis: Delete port devel/camlp4 State-Changed-From-To: open->closed State-Changed-By: pav State-Changed-When: Thu May 27 15:27:20 PDT 2004 State-Changed-Why: Port was deleted. Thank you for your work on it in the past. http://www.freebsd.org/cgi/query-pr.cgi?pr=67272