Le 06/12/2013 08:06, Ludovico Cavedon a écrit :
> Done and uploaded.

Thank you

> 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.


Emmanuel Bourg

This is the maintainer address of Debian's Java team
Please use
debian-j...@lists.debian.org for discussions and questions.

Reply via email to