diff options
| author | Jose Fernando Lopez Fernandez | 2019-05-31 19:02:48 -0400 |
|---|---|---|
| committer | Jose Fernando Lopez Fernandez | 2019-05-31 19:02:48 -0400 |
| commit | 573d33f49433f7b1dce3603c8138c0ded726cfc5 (patch) | |
| tree | 4a829628d5bb6cefc0aedf6451caa064c8945ad4 | |
| parent | 7032085c809993d6a173e51aec447c02828ae070 (diff) | |
Fixed typo in CONTRIBUTING.md
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
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), |