jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/502482 )

Change subject: [doc] Update CREDITS ......................................................................

[doc] Update CREDITS

Change-Id: I89065c3fd95c07d19dceb707c3ffb13c2f92d8fb --- M CREDITS 1 file changed, 1 insertion(+), 0 deletions(-)

Approvals: JJMC89: Looks good to me, but someone else must approve Xqt: Looks good to me, approved jenkins-bot: Verified

diff --git a/CREDITS b/CREDITS index f6afe6a..52d72ae 100644 --- a/CREDITS +++ b/CREDITS @@ -81,6 +81,7 @@ Jeroen de Dauw Jeropbrendawm Jitse Niesen +JJMC89 John Vandenberg Jon Harald Søby Jo Simoens