Skip to content

Fix -Wdtor-name warning from Clang 11 (@rmatev)

Marco Cattaneo requested to merge cherry-pick-adaf3c9c into run2-patches

(cherry picked from commit adaf3c9c)

Merge request reports