diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-03 15:13:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-03 15:13:34 +0200 |
| commit | 620dd79e71fdff8655327da909c006b437d44ad9 (patch) | |
| tree | 49b5d0e507ea83c9b7ff15614dded68235c0119b /CONTRIBUTING.md | |
| parent | f9b145d27f422af6b51e9e020be12135dec37ff4 (diff) | |
| parent | f8a22f0a9086e7a389d914f2dde6baea8b08eef0 (diff) | |
Merge pull request #27636 from Jayman2000/contributing-these
Minor English fix
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 04e42d14b6..4c4a8a37a6 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -18,7 +18,7 @@ each of them. Everything referred to hereafter as "bug" also applies for feature requests. If you are reporting a new issue, you will make our life much simpler (and the -fix come much sooner) by following those guidelines: +fix come much sooner) by following these guidelines: #### Search first in the existing database |