reassignment of echo_msg breaks make readme similar to fix in ports/163159
Responsible Changed From-To: freebsd-ports-bugs->crees crees@ wants his PRs (via the GNATS Auto Assign Tool)
Maintainer of devel/uppaal, Please note that PR ports/163252 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/163252 -- Edwin Groothuis via the GNATS Auto Assign Tool edwin@FreeBSD.org
State Changed From-To: open->feedback Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
use ignore drop pre-fetch -jgh -- Jason Helfman System Administrator experts-exchange.com http://www.experts-exchange.com/M_4830110.html E4AD 7CF1 1396 27F6 79DD 4342 5E92 AD66 8C8C FBA5
Responsible Changed From-To: crees->jgh Over to new developer
jgh 2011-12-30 17:26:25 UTC FreeBSD ports repository Modified files: devel/uppaal Makefile Log: - Reassignment of ECHO_MSG breaks 'make readme', so remove and reformat IGNORE. - Pet portlint PR: ports/163252 Submitted by: jgh (me) Approved by: maintainer (timeout), crees (mentor) Revision Changes Path 1.13 +5 -4 ports/devel/uppaal/Makefile _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
State Changed From-To: feedback->closed Committed, with minor changes. Thanks!