SuccessChanges

Summary

  1. Change the distro management to work with Jenkins (again). (details)
Commit 8c04567444bb25801fe9f901b759ae4cdb742566 by csj
Change the distro management to work with Jenkins (again).
The file was modifiedpom.xml