Updating master with MR!263 contents
FYI @ibelyaev. I tried a cherry-pick (as usual) of MR!263 from 2018-patches to master but GitLab complained. I just did things manually and locally, to get this ticked off.
GitLab jobs artifacts no longer stored forever as of Monday, November 4th 08:30h. Further information under https://cern.ch/otg0152576
FYI @ibelyaev. I tried a cherry-pick (as usual) of MR!263 from 2018-patches to master but GitLab complained. I just did things manually and locally, to get this ticked off.