Le 06/12/2013 08:06, Ludovico Cavedon a écrit :
> Done and uploaded.
> Although it seems I cannot push because I do not have permissions,
> probably because I am not part of pkg-java.
Could you request to join the pkg-java group on alioth please? It's
preferable that you push your changes so your contribution is properly
tracked in the git log.
This is the maintainer address of Debian's Java team
debian-j...@lists.debian.org for discussions and questions.