Skip to content

Fix trivial typos in docs

Davide Fazzinirequested to merge
dfazzini_fix_typos into 2024-patches

Fixing some minor typos in the documentation that remained from MR !73 (merged).

Merge request reports