jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/391565 )
Change subject: Revert "Update extensions/Wikidata to new wmf/1.31.0-wmf.8
branch"
......................................................................
Revert "Update extensions/Wikidata to new wmf/1.31.0-wmf.8 branch"
This reverts commit 5725044a526cf9acfa51d0e64295f175fa0587e6.
Change-Id: I91d78da5d6689ae1da9bc7bcfcb8a761ecd4149b
---
M .gitmodules
M extensions/Wikidata
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Ladsgroup: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitmodules b/.gitmodules
index 9af6079..8eb7a3b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -5,7 +5,7 @@
[submodule "extensions/Wikidata"]
path = extensions/Wikidata
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Wikidata
- branch = wmf/1.31.0-wmf.8
+ branch = wmf/1.31.0-wmf.6
[submodule "extensions/3D"]
path = extensions/3D
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/3D
diff --git a/extensions/Wikidata b/extensions/Wikidata
index 61ca31f..7ff68e7 160000
--- a/extensions/Wikidata
+++ b/extensions/Wikidata
@@ -1 +1 @@
-Subproject commit 61ca31f797564bdf86856fbc536a755e5322cf1e
+Subproject commit 7ff68e7543f59f1666fd451430120d13ece89be3
--
To view, visit https://gerrit.wikimedia.org/r/391565
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I91d78da5d6689ae1da9bc7bcfcb8a761ecd4149b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.31.0-wmf.8
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
