From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Oct 25 09:20:01 2012 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id BF2308E2 for ; Thu, 25 Oct 2012 09:20:01 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.FreeBSD.org [8.8.178.135]) by mx1.freebsd.org (Postfix) with ESMTP id A77A18FC12 for ; Thu, 25 Oct 2012 09:20:01 +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 q9P9K1KB045547 for ; Thu, 25 Oct 2012 09:20:01 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id q9P9K1im045546; Thu, 25 Oct 2012 09:20:01 GMT (envelope-from gnats) Date: Thu, 25 Oct 2012 09:20:01 GMT Message-Id: <201210250920.q9P9K1im045546@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org Cc: From: Edwin Groothuis Subject: Re: ports/173051: emulators/hercules update from 3.05 to 3.07 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: Edwin Groothuis List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 25 Oct 2012 09:20:01 -0000 The following reply was made to PR ports/173051; it has been noted by GNATS. From: Edwin Groothuis To: bzeeb+freebsdports@zabbadoz.net Cc: bug-followup@FreeBSD.org Subject: Re: ports/173051: emulators/hercules update from 3.05 to 3.07 Date: Thu, 25 Oct 2012 09:15:16 UT Maintainer of emulators/hercules, Please note that PR ports/173051 has just been submitted. If it contains a patch for an upgrade, an enhancement or a bug fix you agree on, reply to this email stating that you approve the patch and a committer will take care of it. The full text of the PR can be found at: http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/173051 -- Edwin Groothuis via the GNATS Auto Assign Tool edwin@FreeBSD.org