Skip to content

Cherry-pick MR !239 from 2018-patches to master

Eduardo Rodrigues requested to merge cherry-pick-11f22854 into master

Ostap:(back)propagation of developments from the standalone version of ostap

See merge request !239 (merged)

(cherry picked from commit 11f22854)

d24c47bf Ostap: d453adcf Ostap:

Merge request reports