diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-20 11:49:42 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-20 11:50:56 +0200 |
commit | f0ff08d7841c58d5a7ae27a87a38837270e4b2d0 (patch) | |
tree | ac6eebedf2b16023ad942411f9c99d6e38e01fd4 | |
parent | 1fe7f404078121ad370ec955aa23befa322549bb (diff) | |
parent | 48b92080a74c94c619615fa32055b4bc3b5b89f2 (diff) |
Merge #8379: Remove duplicated name in release notes
48b9208 Remove duplicated name in release notes (Johnson Lau)
-rw-r--r-- | doc/release-notes.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/release-notes.md b/doc/release-notes.md index 240e132a83..6bd2aa9f05 100644 --- a/doc/release-notes.md +++ b/doc/release-notes.md @@ -665,7 +665,6 @@ Thanks to everyone who directly contributed to this release: - James O'Beirne - Jarret Dyrbye - Jeremy Rand -- jl2012 - jloughry - jmacwhyte - Joao Fonseca |