Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

Not a very interesting set of changes, mostly just to make clang-tidy happy about pre-declarations in different namespaces...

Merge request reports