Skip to content

Minor fixes

Max Kahnt requested to merge max.kahnt/dune-functions:feature/minor-fixes into master

Fixes some typos, spurious consts and includes !180 (closed).

Merge request reports