ports/124061: [patch]: lang/mlton (new features)
Edwin Groothuis
edwin at FreeBSD.org
Wed May 28 10:20:04 UTC 2008
The following reply was made to PR ports/124061; it has been noted by GNATS.
From: Edwin Groothuis <edwin at FreeBSD.org>
To: jesper.louis.andersen at gmail.com
Cc: bug-followup at FreeBSD.org
Subject: Re: ports/124061: [patch]: lang/mlton (new features)
Date: Wed, 28 May 2008 10:10:13 UT
Maintainer of lang/mlton,
Please note that PR ports/124061 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/124061
--
Edwin Groothuis via the GNATS Auto Assign Tool
edwin at FreeBSD.org
More information about the freebsd-ports-bugs
mailing list