On Sun, Jun 29, 2014 at 4:37 AM, Christoph Kutzinski <[email protected]> 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 [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to