On Tue, 2018-01-30 at 08:36 -0800, Erik Joelsson wrote: > I found your job and it's all successful. Something is up with the > service though. I'm pinging the relevant people here.
Yes, indeed: http://mail.openjdk.java.net/pipermail/jdk-dev/2018-January/000622.html Thanks, Erik! Cheers, Severin
