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 (diff)