From owner-freebsd-ports-bugs@FreeBSD.ORG  Wed Jun 13 21:39:51 2012
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@hub.freebsd.org
Received: from mx1.freebsd.org (unknown [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 26A9A1065680;
	Wed, 13 Jun 2012 21:39:51 +0000 (UTC)
	(envelope-from beech@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org [69.147.83.40])
	by mx1.freebsd.org (Postfix) with ESMTP id ED5E38FC18;
	Wed, 13 Jun 2012 21:39:50 +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 q5DLdoPE039030;
	Wed, 13 Jun 2012 21:39:50 GMT
	(envelope-from beech@freefall.freebsd.org)
Received: (from beech@localhost)
	by freefall.freebsd.org (8.14.5/8.14.5/Submit) id q5DLdoWw039026;
	Wed, 13 Jun 2012 21:39:50 GMT (envelope-from beech)
Date: Wed, 13 Jun 2012 21:39:50 GMT
Message-Id: <201206132139.q5DLdoWw039026@freefall.freebsd.org>
To: beech@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, beech@FreeBSD.org
From: beech@FreeBSD.org
Cc: 
Subject: Re: ports/169031: [maintainer-update] science/cdcl: update to 5.4.5
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>, 
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>, 
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Jun 2012 21:39:51 -0000

Synopsis: [maintainer-update] science/cdcl: update to 5.4.5

Responsible-Changed-From-To: freebsd-ports-bugs->beech
Responsible-Changed-By: beech
Responsible-Changed-When: Wed Jun 13 21:39:08 UTC 2012
Responsible-Changed-Why: 
I'll take it

http://www.freebsd.org/cgi/query-pr.cgi?pr=169031