Hi guys! I have implemented a small change on the mentioned subject and provided a pull request:
https://github.com/jenkinsci/winstone/pull/16 As instructed by https://wiki.jenkins-ci.org/display/JENKINS/Pull+Request+to+Repositories as nobody (nobody with committer access) has commented on the pull request after quite a while, I am dropping you an email. I personally would be confident to merge that change without any further review; nevertheless, of course I am also grateful for feedback. So it would be nice if you either decide to check out the pull request and deal with it or give me committer access or both. Regards, Torsten -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.