ports/116241: update games/crafty (Also solves pr ports/116163)

Mon Sep 10 01:10:08 UTC 2007

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

From: Edwin Groothuis <edwin at mavetju.org>
To: FreeBSD Gnats Submit <freebsd-gnats-submit at freebsd.org>
Cc:  
Subject: Re: ports/116241: update games/crafty (Also solves pr ports/116163)
Date: Mon, 10 Sep 2007 11:01:44 +1000

 Confirmed that it now builds and installs cleanly.

 Waiting for the maintainer to approve or to timeout (two weeks) and
 then I'll ocmmit it.

 Edwin

 -- 
 Edwin Groothuis      |            Personal website: http://www.mavetju.org
 edwin at mavetju.org    |              Weblog: http://www.mavetju.org/weblog/