diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-02-17 09:39:59 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-02-17 09:40:03 +0100 |
commit | 188ca9c305d3dd0fb462b9d6a44048b1d99a05f3 (patch) | |
tree | 94db874e1358e4d9b63449a2862522381ac92c51 | |
parent | b4662646352dfe3d3f9bc46682a38973a119d0d8 (diff) | |
parent | ea5253090696b8287419de919995f5dfa717fe03 (diff) |
Merge #7548: Correct duplicate names in release notesv0.12.0
ea52530 Fix duplicate names in release notes (fanquake)
-rw-r--r-- | doc/release-notes.md | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/release-notes.md b/doc/release-notes.md index f30b074526..332d4cebe1 100644 --- a/doc/release-notes.md +++ b/doc/release-notes.md @@ -820,7 +820,6 @@ Thanks to everyone who directly contributed to this release: - Erik Mossberg - Esteban Ordano - EthanHeilman -- fanquake - Florian Schmaus - Forrest Voight - Gavin Andresen @@ -851,18 +850,16 @@ Thanks to everyone who directly contributed to this release: - Matt Quinn - Micha - Michael -- Michael Ford +- Michael Ford / fanquake - Midnight Magic - Mitchell Cash - mrbandrews - mruddy - Nick -- Patick Strateman - Patrick Strateman - Paul Georgiou - Paul Rabahy -- paveljanik -- Pavel Janík +- Pavel Janík / paveljanik - Pavel Vasin - Pavol Rusnak - Peter Josling |