Thanks a lot for this message, Jean-Marc, this has saved me a few hours of head-scratching.
-- 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/CACtV%3DdcJC-6%2B%3DkcmWzMxFoi8N_LYK3AbEWfSMm2gtH%3DCbk8U-w%40mail.gmail.com.
