[!778] Fix typo in documentation

Oliver Sanderrequested to merge
cherry-pick-cd4c780f into releases/2.7

Merge branch 'fix-typo' into 'master'

See merge request core/dune-common!778

(cherry picked from commit cd4c780f)

335e640a Fix typo in documentation

Merge request reports