-
Christoph Grüninger authored
Clang 10-git warns with this change: class with destructor marked 'final' cannot be inherited from [-Wfinal-dtor-non-final-class]
62b7c885
Clang 10-git warns with this change: class with destructor marked 'final' cannot be inherited from [-Wfinal-dtor-non-final-class]