Ah, Sorry! I mixed up the issues. It is indeed this one: https://issues.jenkins-ci.org/browse/JENKINS-13502
Am Dienstag, 22. Mai 2012 22:54:28 UTC+2 schrieb teilo: > > Is that the correct issue? Your description doesn't seem to match the > issue described in jira. > >