diff options
| author | Emilio Jesus Gallego Arias | 2020-07-20 15:46:33 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-20 15:46:33 +0200 |
| commit | d57839d4fa3f7611b961bf28773b2969b659b24b (patch) | |
| tree | 355d75431a8ad173ff776ed88f70bfa9ba3fbb7e | |
| parent | d6aff7758936e4028614a1ac7e1dfbc5c7f82076 (diff) | |
| parent | 3416439d4a5b0f109b53a41faf81ad2c56ca69c6 (diff) | |
Merge PR #12660: Fix typo in contributing guide.
Reviewed-by: ejgallego
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8a09e43c94..d561ec8a12 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -184,7 +184,7 @@ stream][Zulip-dev] of our Zulip chat. Finally, we strongly encourage authors of plugins to submit their plugins to join Coq's continuous integration (CI) early on. Indeed, -the Coq API gets continously reworked, so this is the best way of +the Coq API gets continuously reworked, so this is the best way of ensuring your plugin stays compatible with new Coq versions, as this means Coq developers will fix your plugin for you. Learn more about this in the [CI README (user part)][CI-README-users]. |