mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-13 12:02:20 +00:00
I think it's cumbersome to update the master POM every time we rev maven-hpi-tools. I don't see why we can't set it here.
I think it's cumbersome to update the master POM every time we rev maven-hpi-tools. I don't see why we can't set it here.