From f0ea387a2df690b074d630e3d8b7ba2ab8fe33bf Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 15 Jul 2018 23:59:26 +0200
Subject: Make goal that everyone feel safe more explicit.

---
 CODE_OF_CONDUCT.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'CODE_OF_CONDUCT.md')

diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
index cf91d94c61..302485c2f7 100644
--- a/CODE_OF_CONDUCT.md
+++ b/CODE_OF_CONDUCT.md
@@ -6,7 +6,9 @@ professionals and volunteers from all over the world.
 Diversity is a strength, but it can also lead to communication issues and
 unhappiness. To that end, we have a few ground rules that we ask people to
 adhere to. This code applies equally to core developers (who should lead by
-example), occasional contributors and those seeking help and guidance.
+example), occasional contributors and those seeking help and guidance. The
+goal of these rules is that everyone feels safe when contributing to Coq or
+interacting with others in Coq related forums.
 
 This isn't an exhaustive list of things that you can't do. Rather, take it in
 the spirit in which it's intended - a guide to make it easier to enrich all of
-- 
cgit v1.2.3