Skip to content

Cherry-pick MR !397 to master branch

Eduardo Rodrigues requested to merge cherry-pick-99a9dd59 into master

Analysis/Ostap: fix a stupid bug

See merge request !397 (merged)

(cherry picked from commit 99a9dd59)

0b017f6b Analysis/Ostap: fix a stupid bug

Merge request reports