Skip to content
Snippets Groups Projects

various cleanups and simplifications in util

Merged various cleanups and simplifications in util
MathComp-PR-cleanups-and-simplifications into master
All threads resolved!
Merged Björn Brandenburg requested to merge MathComp-PR-cleanups-and-simplifications into master
All threads resolved!