ports/178217: [patch] update games/gemrb 0.7.2 to 0.8.0

[Timothy Beyer]

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

From: Timothy Beyer <beyert at cs.ucr.edu>
To: bug-followup at FreeBSD.org
Cc: beyert at cs.ucr.edu
Subject: Re: ports/178217: [patch] update games/gemrb 0.7.2 to 0.8.0
Date: Sun, 28 Apr 2013 13:06:31 -0700

 At Sun, 28 Apr 2013 09:10:07 UT,
 Edwin Groothuis wrote:
 > 
 > Maintainer of games/gemrb,
 > 
 > Please note that PR ports/178217 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/178217
 > 
 > -- 
 > Edwin Groothuis via the GNATS Auto Assign Tool
 > edwin at FreeBSD.org
 > 
 
 I just tried the patch and it works.  Approved.
 
 Tim