MaxSem has submitted this change and it was merged. Change subject: Bump WikiGrok for https://gerrit.wikimedia.org/r/#/c/190562/ ......................................................................
Bump WikiGrok for https://gerrit.wikimedia.org/r/#/c/190562/ Change-Id: Ic740694ac9d336f5a11d171ff81b4ad850846525 --- M extensions/WikiGrok 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved diff --git a/extensions/WikiGrok b/extensions/WikiGrok index 42b3904..c5df249 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 42b390418c84787b7944a19eee0923e098e659ca +Subproject commit c5df249a44a117b5b4d32e3ca018adc40fd36b3b -- To view, visit https://gerrit.wikimedia.org/r/191211 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic740694ac9d336f5a11d171ff81b4ad850846525 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf17 Gerrit-Owner: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits