MaxSem has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/191211

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/11/191211/1

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: newchange
Gerrit-Change-Id: Ic740694ac9d336f5a11d171ff81b4ad850846525
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.25wmf17
Gerrit-Owner: MaxSem <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to