Date: Tue, 10 Nov 2009 18:40:04 GMT From: Edwin Groothuis <edwin@FreeBSD.org> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/140451: Update port: editors/jedit-devel to 4.3p18 Message-ID: <200911101840.nAAIe4MJ052587@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/140451; it has been noted by GNATS.
From: Edwin Groothuis <edwin@FreeBSD.org>
To: question+fbsdports@closedsrc.org
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/140451: Update port: editors/jedit-devel to 4.3p18
Date: Tue, 10 Nov 2009 18:30:21 UT
Maintainer of editors/jedit-devel,
Please note that PR ports/140451 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/140451
--
Edwin Groothuis via the GNATS Auto Assign Tool
edwin@FreeBSD.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200911101840.nAAIe4MJ052587>