Skip to content

Mixed bag of bugfices

Dominic Kempf requested to merge feature/various-fixes into master

This fixes #123 (closed), #122 (closed), #119 (closed)

Needs latest dune-python.

Merge request reports