-
Merge branch 'cleanup/rename-fancyfactor' into 'master' 0 of 1 checklist item completed
-
Merge branch 'doc/update-copyrightholders' into 'master' 1 of 1 checklist item completed
-
[bin] Update dumux versions to 3.8 in installscripts. 1 of 1 checklist item completed