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. https://alioth.debian.org/project/request.php?group_id=30085 Emmanuel Bourg __ 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.