On Sun, Jun 29, 2014 at 4:37 AM, Christoph Kutzinski <ku...@gmx.de> wrote: > Is this a mistake or on purpose?
A mistake, I think. Stephen & I both have a to-do item (a race to the bottom in procrastination!) to get rid of plugins/pom.xml and replace it with a proper parent POM, most crucially to allow the core dependency version to be set as a property rather than by selecting of the parent. -- 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.
