Date: Fri, 25 Jun 2010 19:40:04 GMT From: Edwin Groothuis <edwin@FreeBSD.org> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/148147: graphics/ipe can't be built without portdocs (NOPORTDOCS) Message-ID: <201006251940.o5PJe4Ut078946@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/148147; it has been noted by GNATS.
From: Edwin Groothuis <edwin@FreeBSD.org>
To: tkjacobsen@gmail.com
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/148147: graphics/ipe can't be built without portdocs (NOPORTDOCS)
Date: Fri, 25 Jun 2010 19:30:10 UT
Maintainer of graphics/ipe,
Please note that PR ports/148147 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/148147
--
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?201006251940.o5PJe4Ut078946>