Merge "Add devunt to CREDITS as patch contributor"

diff --combined CREDITS
index 9391730,9736ebe..6cc28c1
--- 1/CREDITS
--- 2/CREDITS
+++ b/CREDITS
@@@ -1,4 -1,4 +1,4 @@@
 -MediaWiki 1.21 is a collaborative project released under the
 +MediaWiki 1.22 is a collaborative project released under the
  GNU General Public License v2. We would like to recognize the
  following names for their contribution to the product.
  
@@@ -80,7 -80,7 +80,7 @@@
  * Thomas Bleher
  * Tim Starling
  * Timo Tijhof
 -* Tom Gries
 +* Thomas Gries
  * Trevor Parscal
  * Victor Vasiliev
  * Yesid Carrillo
@@@ -143,6 -143,7 +143,7 @@@
  * Jimmy Xu
  * Jonathan Wiltshire
  * John N
+ * JuneHyeon Bae
  * Jure Kajzer
  * Karun Dambiec
  * Katie Filbert