Le 30/05/2018 à 16:30, Richard Ruigrok a écrit : > Should the patch be submitted on GitHub: > https://github.com/Debian/java-package ?
Hi Richard, Thank you for looking into this. You can submit a PR on the Debian's GitLab instance: https://salsa.debian.org/java-team/java-package The GitHub repository is no longer synchronized and will be removed in the future. Emmanuel Bourg __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
