Skip to content

Back port !1095 from 2018-patches to 2016-patches

Marco Cattaneo requested to merge cherry-pick-7969ce41-2 into 2016-patches

Ignore CALIBOFF if we use Git CondDB

Merge request reports