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