jenkins-bot has submitted this change and it was merged. Change subject: Updated mediawiki/core Project: mediawiki/extensions/Wikidata 34ad4dec1fc8f59bbded90426fd5e7b4e28d5269 ......................................................................
Updated mediawiki/core Project: mediawiki/extensions/Wikidata 34ad4dec1fc8f59bbded90426fd5e7b4e28d5269 Update Wikibase: Add api featureLog for ungroupedlist param Change-Id: I9e172ab794b8c5a955ce29d6c98fc76db3063c4b --- M extensions/Wikidata 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Wikidata b/extensions/Wikidata index 9b088a3..34ad4de 160000 --- a/extensions/Wikidata +++ b/extensions/Wikidata -Subproject commit 9b088a31e3566fdc74218d478546c1f2d519ebda +Subproject commit 34ad4dec1fc8f59bbded90426fd5e7b4e28d5269 -- To view, visit https://gerrit.wikimedia.org/r/226091 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9e172ab794b8c5a955ce29d6c98fc76db3063c4b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.26wmf14 Gerrit-Owner: JanZerebecki <jan.wikime...@zerebecki.de> Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
