ports/116333: math/isabelle fails to build with SML/NJ; requires bash

[Timothy Bourke]

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

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/116333: math/isabelle fails to build with SML/NJ;
	requires bash
Date: Sun, 2 Mar 2008 17:34:11 +1100

 --IS0zKkzwUGydFO0o
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Please close this PR.
 
 A patch for the problem has been posted for sometime.
 
 Additionally, an update to math/isabelle has been submitted in
 ports/121000.
 
 Tim.
 
 
 --IS0zKkzwUGydFO0o
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFHykpjtKVK1sFb0ecRAgdfAJ9noozBQTPucVTqbsMCg/mnXl3jHQCeJppC
 K+qiAPDYIvM/AGdglM0+xfE=
 =My7P
 -----END PGP SIGNATURE-----
 
 --IS0zKkzwUGydFO0o--