Many thanks! Didn't check that page. I've been away from Jenkins plugin development for two years and actually don't know where "the places to look" are - if it's not the wiki ...
On Tuesday, 6 June 2017 19:18:29 UTC+2, Jesse Glick wrote: > > On Tue, Jun 6, 2017 at 1:04 PM, 'Marc Rohlfs' via Jenkins Developers > <[email protected] <javascript:>> wrote: > > Did I miss something? > > Yes. Override the `jenkins.version` property to whatever you like. See > > https://github.com/jenkinsci/plugin-pom#introduction > > (Generally speaking, wiki content is old and unreliable.) > -- 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/8a3346e4-fddd-4270-8f78-5d06288b9378%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
