ports/155225: plz split antlr2 and antlr3 ports. not update antlr2 -> antlr3
arrowdodger
6yearold at gmail.com
Sun Sep 4 14:50:08 UTC 2011
The following reply was made to PR ports/155225; it has been noted by GNATS.
From: arrowdodger <6yearold at gmail.com>
To: Stefan Walter <stefan at freebsd.org>
Cc: hirotaka niitsuma <hirotaka.niitsuma at gmail.com>, GNATS <FreeBSD-gnats-submit at freebsd.org>
Subject: Re: ports/155225: plz split antlr2 and antlr3 ports. not update
antlr2 -> antlr3
Date: Sun, 4 Sep 2011 18:16:05 +0400
--0015174479c65c97cf04ac1e3de2
Content-Type: text/plain; charset=UTF-8
On Sun, Sep 4, 2011 at 4:15 PM, Stefan Walter <stefan at freebsd.org> wrote:
> Hi,
>
> what's the state of the issue discussed in the problem report at [1]? Can
> the PR be closed?
>
> Regards,
> Stefan
>
> [1]: http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/155225
>
Yes, this update have not been commited, so you can close this PR.
--0015174479c65c97cf04ac1e3de2
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
On Sun, Sep 4, 2011 at 4:15 PM, Stefan Walter <span dir=3D"ltr"><<a href=
=3D"mailto:stefan at freebsd.org">stefan at freebsd.org</a>></span> wrote:<br>=
<div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margi=
n:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi,<br>
<br>
what's the state of the issue discussed in the problem report at [1]? C=
an<br>
the PR be closed?<br>
<br>
Regards,<br>
Stefan<br>
<br>
[1]: <a href=3D"http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/155225" =
target=3D"_blank">http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/155225=
</a><br>
</blockquote></div><br>Yes, this update have not been commited, so you can =
close this PR.<br>
--0015174479c65c97cf04ac1e3de2--
More information about the freebsd-ports-bugs
mailing list