Skip to content

Correctly set the RichPID container version

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

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

Edited by Marco Cattaneo

Merge request reports