Skip to content

fix (possible) ODR violations

Gerhard Raven requested to merge fix-more-odr-violations into master

fix more (possible) One Definition Rule violations (see !1614 (merged))

Edited by Marco Cattaneo

Merge request reports