ports/174913: [patch] update games/gemrb 0.7.1 to 0.7.2

[Edwin Groothuis]

The following reply was made to PR ports/174913; it has been noted by GNATS.

From: Edwin Groothuis <edwin at FreeBSD.org>
To: beyert at cs.ucr.edu
Cc: bug-followup at FreeBSD.org
Subject: Re: ports/174913: [patch] update games/gemrb 0.7.1 to 0.7.2
Date: Wed, 2 Jan 2013 22:00:28 UT

 Maintainer of games/gemrb,
 
 Please note that PR ports/174913 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/174913
 
 -- 
 Edwin Groothuis via the GNATS Auto Assign Tool
 edwin at FreeBSD.org