From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Nov 30 19:21:25 2012 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id B377CCA7; Fri, 30 Nov 2012 19:21:25 +0000 (UTC) (envelope-from bdrewery@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) by mx1.freebsd.org (Postfix) with ESMTP id 7F2F88FC0C; Fri, 30 Nov 2012 19:21:25 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.5/8.14.5) with ESMTP id qAUJLPno009324; Fri, 30 Nov 2012 19:21:25 GMT (envelope-from bdrewery@freefall.freebsd.org) Received: (from bdrewery@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id qAUJLPbd009320; Fri, 30 Nov 2012 13:21:25 -0600 (CST) (envelope-from bdrewery) Date: Fri, 30 Nov 2012 13:21:25 -0600 (CST) Message-Id: <201211301921.qAUJLPbd009320@freefall.freebsd.org> To: bdrewery@FreeBSD.org, bdrewery@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org From: bdrewery@FreeBSD.org Subject: Re: ports/170490: fix port: math/proofgeneral X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 30 Nov 2012 19:21:25 -0000 Synopsis: fix port: math/proofgeneral Responsible-Changed-From-To: bdrewery->freebsd-ports-bugs Responsible-Changed-By: bdrewery Responsible-Changed-When: Fri Nov 30 13:21:24 CST 2012 Responsible-Changed-Why: Return to the pool http://www.freebsd.org/cgi/query-pr.cgi?pr=170490