Hello I submitted a pull request <https://github.com/jenkinsci/jenkins/pull/1429> to address JENKINS-5253 <https://issues.jenkins-ci.org/browse/JENKINS-5253> . I was wondering if anyone else has some feedback to give me, and/or if this pull-request can be merged.
Thanks -- View this message in context: http://jenkins-ci.361315.n4.nabble.com/PR-for-JENKINS-5253-tp4729814.html Sent from the Jenkins dev mailing list archive at Nabble.com. -- 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/1417488465099-4729814.post%40n4.nabble.com. For more options, visit https://groups.google.com/d/optout.
