diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-09-08 00:37:49 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-09-08 00:38:04 +0200 |
| commit | adcc788f2a894ad836a9ca8ddcabf06ddae5559e (patch) | |
| tree | 3aa77d9e1c50db5298167e33e30a059e0dc51729 | |
| parent | d4c9d00e7e79958dea9586f927778dba2be8230a (diff) | |
| parent | fad16a90b2c210f745b75cc72a20287b054644af (diff) | |
Merge #11279: doc: Add missing contributors to release notes
fad16a90b doc: Add missing contributors to release notes (MarcoFalke)
Pull request description:
Guido Vranken via commit 9fe1f6b
Tree-SHA512: 9f5c860ed8e23ad679e8c9e9392a66b7ee25c7be84d256855ef65caf335a8e819c7146be47d90686e61450d2501ed96b04b813860725856619088a4378dbfa90
| -rw-r--r-- | doc/release-notes.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/release-notes.md b/doc/release-notes.md index dcaf971223..5a391462c7 100644 --- a/doc/release-notes.md +++ b/doc/release-notes.md @@ -785,6 +785,7 @@ Thanks to everyone who directly contributed to this release: - fanquake - Felix Weis - flack +- Guido Vranken - Greg Griffith - Gregory Maxwell - Gregory Sanders |