diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-16 15:05:46 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-16 15:05:55 +0100 |
| commit | afae75fd3dad48b7a5db72732141d421c6864b9b (patch) | |
| tree | da1b8a35399fa0137a9dff85f67a9b2b5315d759 /contrib/devtools | |
| parent | 8743320d6cb31291c0786b33124209b76f6c1904 (diff) | |
| parent | 36164faa338d387177c6328496f63ac11eda3b78 (diff) | |
Merge #9675: Fix typo and spelling inconsistency in CONTRIBUTING.md
36164fa Fix typo and spelling inconsistency in CONTRIBUTING.md (Koki Takahashi)
Diffstat (limited to 'contrib/devtools')
| -rw-r--r-- | contrib/devtools/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index 34f2af6866..67c5e15a15 100644 --- a/contrib/devtools/README.md +++ b/contrib/devtools/README.md @@ -125,7 +125,7 @@ check or whatever). This means that there are no potential race conditions (where a pullreq gets updated while you're reviewing it, but before you click -merge), and when using GPG signatures, that even a compromised github +merge), and when using GPG signatures, that even a compromised GitHub couldn't mess with the sources. Setup |