From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Feb 13 16:03:50 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 931F916A4CE; Fri, 13 Feb 2004 16:03:50 -0800 (PST) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 7659A43D1F; Fri, 13 Feb 2004 16:03:50 -0800 (PST) (envelope-from glewis@FreeBSD.org) Received: from freefall.freebsd.org (glewis@localhost [127.0.0.1]) i1E03obv057424; Fri, 13 Feb 2004 16:03:50 -0800 (PST) (envelope-from glewis@freefall.freebsd.org) Received: (from glewis@localhost) by freefall.freebsd.org (8.12.10/8.12.10/Submit) id i1E03nEW057420; Fri, 13 Feb 2004 16:03:49 -0800 (PST) (envelope-from glewis) Date: Fri, 13 Feb 2004 16:03:49 -0800 (PST) From: Greg Lewis Message-Id: <200402140003.i1E03nEW057420@freefall.freebsd.org> To: ronald@cs.vu.nl, glewis@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/62712: Add OPTIONS to port java/jmp. 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: Sat, 14 Feb 2004 00:03:50 -0000 Synopsis: Add OPTIONS to port java/jmp. State-Changed-From-To: open->closed State-Changed-By: glewis State-Changed-When: Fri Feb 13 16:03:38 PST 2004 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=62712