jenkins-bot has submitted this change and it was merged. Change subject: Checkout extensions/Wikidata to wmf/1.25wmf24 ......................................................................
Checkout extensions/Wikidata to wmf/1.25wmf24 Change-Id: Iac999e1f0837807f6af0de030bf4f400d905d03f --- M extensions/Wikidata 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: 20after4: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Wikidata b/extensions/Wikidata index e1882c1..9b3d270 160000 --- a/extensions/Wikidata +++ b/extensions/Wikidata -Subproject commit e1882c1c5b0dead303ef611a85a2d0220951ac14 +Subproject commit 9b3d270a8f387ebaa0f392f55946ab8233b753fe -- To view, visit https://gerrit.wikimedia.org/r/201252 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iac999e1f0837807f6af0de030bf4f400d905d03f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf24 Gerrit-Owner: 20after4 <[email protected]> Gerrit-Reviewer: 20after4 <[email protected]> Gerrit-Reviewer: Aude <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
