I now dared to file https://issues.jenkins-ci.org/browse/JENKINS-49365
-- You received this message because you are subscribed to the Google Groups "Jenkins Users" 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-users/AM4P190MB0067C5ED6DF10CB83DC92A70F7FE0%40AM4P190MB0067.EURP190.PROD.OUTLOOK.COM. For more options, visit https://groups.google.com/d/optout.
