Heya, I made a trivial fix for the patch-parameter-plugin and send in a pull request. Nobody responded to that pull request yet. According to the pull request guidelines i should drop a note on this dev list.
I would be happy to merge it and put out a new release if somebody would be so kind to give committer access to me. My github id is Spark404 The pull request is here https://github.com/jenkinsci/patch-parameter-plugin/pull/1 Cheers, Hugo -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
