ports/139807: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly

Wed Oct 21 04:50:03 UTC 2009

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

From: Edwin Groothuis <edwin at FreeBSD.org>
To: timbob at bigpond.com
Cc: bug-followup at FreeBSD.org
Subject: Re: ports/139807: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly
Date: Wed, 21 Oct 2009 04:40:24 UT

 Maintainer of devel/ml-doc,

 Please note that PR ports/139807 has just been submitted.

 If it contains a patch for an upgrade, an enhancement or a bug fix
 you agree on, reply to this email stating that you approve the patch
 and a committer will take care of it.

 The full text of the PR can be found at:
     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/139807

 -- 
 Edwin Groothuis via the GNATS Auto Assign Tool
 edwin at FreeBSD.org