Merge branch '01' into 06-rm-named
Merge branch '00-admin' into 06-rm-named
Merge branch '01-cleanup' into 06-rm-named
Merge branch '03-protect' into 06-rm-named
Merge branch '01-testing' into 06-rm-named
Merge branch '05-matprod' into 06-rm-named
Merge branch '01' into 01-cleanup
Merge branch '01' into 06-rm-named
Merge branch '01-inspect' into 06-rm-named
do same in svd for complex as for double
Merge branch '06-rm-named' into 10-pretty-news
better TRE_CHAR_MAX fix
Merge branch '01-cleanup' into 10-pretty-news