Merge "Move up devunt's name to Developers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Oct 2016 21:05:24 +0000 (21:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Oct 2016 21:05:24 +0000 (21:05 +0000)
CREDITS

diff --git a/CREDITS b/CREDITS
index dca597e..9dc37f5 100644 (file)
--- a/CREDITS
+++ b/CREDITS
@@ -51,6 +51,7 @@ following names for their contribution to the product.
 * John Du Hart
 * Jon Harald Søby
 * Juliano F. Ravasi
+* JuneHyeon Bae
 * Leo Koppelkamm
 * Leon Weber
 * Leslie Hoare
@@ -157,7 +158,6 @@ following names for their contribution to the product.
 * Jimmy Xu
 * John N
 * Jonathan Wiltshire
-* JuneHyeon Bae
 * Jure Kajzer
 * Karun Dambiec
 * Katie Filbert