Date: Mon, 26 Oct 2009 18:20:24 +0100 From: Johannes 5 Joemann <joemann@beefree.free.de> To: edwin@FreeBSD.org Cc: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/139807: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly Message-ID: <20091026182024.ff81fbdb.joemann@beefree.free.de> In-Reply-To: <200910210440.n9L4eQ0m080528@freefall.freebsd.org> References: <200910210440.n9L4eQ0m080528@freefall.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
Hi! On Wed, 21 Oct 2009 04:40:26 GMT, edwin@FreeBSD.org wrote: > Synopsis: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly > > State-Changed-From-To: open->feedback > State-Changed-By: edwin > State-Changed-When: Wed Oct 21 04:40:26 UTC 2009 > State-Changed-Why: Awaiting maintainers feedback (via the GNATS Auto Assign Tool) > > http://www.freebsd.org/cgi/query-pr.cgi?pr=139807 It would be very kind if someone responsible for unassigned port PRs could change this PR's class back to maintainer-update and make it leave its current feedback state. (Me and the maintainer of the affected devel/ml-doc port have approved the PR's patches.) I'm very sorry if the current (possibly stuck?) state of this PR was caused by the mangled portname in the synopsis line: lang/smlnj-devel is wrong, lang/sml-nj-devel is right. (*) Sorry for any inconvenience and thank you very much! Johannes (maintainer of lang/sml-nj-devel) (*) Unfortunately I had not realized that the PR template generated by porttools uses `make -V PORTNAME` as the base value for calculating the port's directory name - a heuristic that fails with lang/sml-nj-devel, because its PORTNAME is smlnj (not sml-nj). (See PR ports/139872 for a possible improvement of porttools' heuristic.)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20091026182024.ff81fbdb.joemann>