Skip to content
Snippets Groups Projects

remove notypeclasses apply; it is somehow very slow

Merged remove notypeclasses apply; it is somehow very slow
ralf/no-notypeclasses-apply into master
Merged Ralf Jung requested to merge ralf/no-notypeclasses-apply into master