... or alternatively release the fix which has already been pushed to
the repo :)
http://anonscm.debian.org/viewvc/pkg-java?view=revision&revision=18762
http://anonscm.debian.org/viewvc/pkg-java/trunk/antlr3/debian/?view=log
I didn't see that until now.
---
mvh / best regards
Hans Joachim Desserud
http://desserud.org
__
This is the maintainer address of Debian's Java team
<http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>.
Please use
debian-j...@lists.debian.org for discussions and questions.