Hi Emmanuel, I uploaded a patch with a merge request: https://salsa.debian.org/java-team/java-package/merge_requests/1
Let me know if this works. Thanks, Richard. On 5/30/2018 8:47 AM, Emmanuel Bourg wrote: > 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 -- Qualcomm Datacenter Technologies as an affiliate of Qualcomm Technologies, Inc. Qualcomm Technologies, Inc. is a member of the Code Aurora Forum, a Linux Foundation Collaborative Project. __ 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.
