ports/173273: Update games/minecraft-server to 1.4.2.

Fri Nov 2 09:00:02 UTC 2012

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

From: Martin Kropfinger <freebsd at rakor-net.de>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/173273: Update games/minecraft-server to 1.4.2.
Date: Fri, 2 Nov 2012 09:55:13 +0100

 An update was submitted and will soon be available.
 (ports/173288 http://www.freebsd.org/cgi/query-pr.cgi?pr=173288)