Skip to content
GitLab

Correctly set the RichPID container version

Merged Marco Cattaneo requested to merge cherry-pick-07c8f58c into master

Cherry-picked from 2018-patches merge request !1000 (merged)

Edited by Marco Cattaneo