aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@gmail.com>2016-02-17 09:39:59 +0100
committerWladimir J. van der Laan <laanwj@gmail.com>2016-02-17 09:40:03 +0100
commit188ca9c305d3dd0fb462b9d6a44048b1d99a05f3 (patch)
tree94db874e1358e4d9b63449a2862522381ac92c51
parentb4662646352dfe3d3f9bc46682a38973a119d0d8 (diff)
parentea5253090696b8287419de919995f5dfa717fe03 (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.md7
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