ports/182467: [maintainer-update] update games/stonesoup to version 0.12.3

[Tobias Rehbein]

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

From: Tobias Rehbein <tobias.rehbein at web.de>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/182467: [maintainer-update] update games/stonesoup to
 version 0.12.3
Date: Fri, 11 Oct 2013 23:31:56 +0200

 Please close this port as it has been obsoleted by ports/182913.
 
 Regards,
 
 	Tobias