Merge branch 'fix-typo' into 'master' See merge request [!778] [!778]: Nonecore/dune-common/merge_requests/778
mentioned in commit 1f10ad40
mentioned in merge request !779 (merged)
mentioned in commit d6d35f3c