Update CODE_OF_CONDUCT.md (#13965)

deleted one character (duplicate space) Co-authored-by: Martin Dvořák <[email protected]>
leanprover-community · May 5, 2022 · 03fbe7d · 03fbe7d
1 parent 63875ea
commit 03fbe7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
@@ -108,7 +108,7 @@ Violating these terms may lead to a permanent ban.
 ### 4. Permanent Ban
 
 **Community Impact**: Demonstrating a pattern of violation of community
-standards, including sustained inappropriate behavior,  harassment of an
+standards, including sustained inappropriate behavior, harassment of an
 individual, or aggression toward or disparagement of classes of individuals.
 
 **Consequence**: A permanent ban from any sort of public interaction within