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: I6b26e3e2d95da54a3ed19bb1cf2322f141930c13 --- 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 787009d..799984b 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 787009db66df16010a4cc1c36904771db640c83e +Subproject commit 799984b781e271322dfd41829d7fa5893856405e -- To view, visit https://gerrit.wikimedia.org/r/191209 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6b26e3e2d95da54a3ed19bb1cf2322f141930c13 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf16 Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
