Taking the positive reviews in the pull request, I am going to integrate it tomorrow if no negative feedback
-- 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/b89d206a-8c47-426c-a04c-73dd9c5e49b1%40googlegroups.com.
