I opened two PRs a week ago and one is blocking the initial release of a new plugin: https://github.com/jenkinsci/adoptopenjdk-plugin https://github.com/jenkins-infra/crawler/pull/81
The other PR adds support for Oracle JDK 10, 11 and 12 for the jdk-tool plugin: https://github.com/jenkins-infra/crawler/pull/82 Especially the first PR is one that I really would like to get merged as it is blocking the initial release of my new plugin ;-) /M -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CALWGXhd0B3NCwFxz7EXR4cMtbOSeU-J1QyPChrRLB_DMrS5qTQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
