Skip to content

Updating master with MR!263 contents

Eduardo Rodrigues requested to merge eduardo-updatesFromMR263 into master

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.

Merge request reports