jenkins-bot has submitted this change and it was merged. Change subject: given name correction in CREDITS ......................................................................
given name correction in CREDITS Change-Id: I1afdad0129980a988e5626351cff94c38d01688f --- M CREDITS 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: IAlex: Looks good to me, approved Wikinaut: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/CREDITS b/CREDITS index 4e701f1..9391730 100644 --- a/CREDITS +++ b/CREDITS @@ -80,7 +80,7 @@ * Thomas Bleher * Tim Starling * Timo Tijhof -* Tom Gries +* Thomas Gries * Trevor Parscal * Victor Vasiliev * Yesid Carrillo -- To view, visit https://gerrit.wikimedia.org/r/58680 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1afdad0129980a988e5626351cff94c38d01688f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Wikinaut <[email protected]> Gerrit-Reviewer: IAlex <[email protected]> Gerrit-Reviewer: Wikinaut <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
