review: refactor(*): Remove redundant supertypes#4369
Merged
slarse merged 2 commits intoINRIA:masterfrom MartinWitt:refactor/automaticQodana/redundantSuperTypesJan 14, 2022
+9-20
Commits
Commits on Dec 23, 2021
- committed
Commits on Jan 6, 2022
- authored