Integration 2020 wk41

Remi Hardyrequested to merge
integration_2020_wk41 into develop

integration 2020 wk 41 branch comprising :

  • MR909 small-bugfixes-wk40 (Cedric Roux)
  • MR919 rh_ci_oc (OAI CI)
Edited by Raphael Defosseux

Merge request reports