Skip to content

Cherry-pick MR !393 to run2-patches branch

Eduardo Rodrigues requested to merge cherry-pick-7db5e92b into run2-patches

Fix warnings from Boost

See merge request !393 (merged)

(cherry picked from commit 7db5e92b)

753758f7 Fix warnings from Boost

Merge request reports