[Jenkins-infra] Pending PR merges for jenkins-infra/crawler

[Mads Mohr Christensen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20190520/ba7ab8a1/attachment.html>