Skip to content

Update maven cache in Jenkins run and fix bugs introduced by OSHDB#419

Johannes Visintini requested to merge jenkins-update into oshdb-snapshot

Merge request reports