Synopsis: Update games/minecraft-server to 1.4.2. State-Changed-From-To: open->feedback State-Changed-By: edwin State-Changed-When: Fri Nov 2 02:47:06 UTC 2012 State-Changed-Why: Awaiting maintainers feedback (via the GNATS Auto Assign Tool) http://www.freebsd.org/cgi/query-pr.cgi?pr=173273