From 573d33f49433f7b1dce3603c8138c0ded726cfc5 Mon Sep 17 00:00:00 2001
From: Jose Fernando Lopez Fernandez
Date: Fri, 31 May 2019 19:02:48 -0400
Subject: Fixed typo in CONTRIBUTING.md

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

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index e811c116b6..f0e17909c1 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -169,7 +169,7 @@ People are generally happy to help and very reactive.
 
 ["Watching" this repository](https://github.com/coq/coq/subscription)
 can result in a very large number of notifications. We advise that if
-you do, either [confifure your mailbox](https://blog.github.com/2017-07-18-managing-large-numbers-of-github-notifications/#prioritize-the-notifications-you-receive)
+you do, either [configure your mailbox](https://blog.github.com/2017-07-18-managing-large-numbers-of-github-notifications/#prioritize-the-notifications-you-receive)
 to handle incoming notifications efficiently, or you read your
 notifications within a web browser. You can configure how you receive
 notifications in [your GitHub settings](https://github.com/settings/notifications),
-- 
cgit v1.2.3