Skip to content

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

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

Ignore CALIBOFF if we use Git CondDB

Edited by Marco Cattaneo

Merge request reports

Loading