Skip to content

standardize capitalization

username-removed-5332 requested to merge github/fork/bbodenmiller/patch-15 into master

Fix random capitalization in doc/permissions/permissions.md.

Merge request reports