From 6d71db62424b942991d967dfaced75fb886fa2d8 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 13 Feb 2019 21:03:11 +0100
Subject: Advertise code of conduct in contributing guide.

---
 CONTRIBUTING.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 9af4e10a38..7ce1817fc1 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,7 +1,8 @@
 # Contributing to Coq
 
 Thank you for your interest in contributing to Coq! There are many ways to
-contribute, and we appreciate all of them.
+contribute, and we appreciate all of them. Please make sure you read and
+abide by the [Code of Conduct](CODE_OF_CONDUCT.md).
 
 ## Bug Reports
 
-- 
cgit v1.2.3