[cleanup] fix some typos in documentation strings and error messages
Merge request reports
Activity
mentioned in merge request dune-common!79 (merged)
mentioned in commit 92f5c68f
Please register or sign in to reply
mentioned in merge request dune-common!79 (merged)
mentioned in commit 92f5c68f
Status changed to merged