Reedy has submitted this change and it was merged. Change subject: Update DataTypes extension ......................................................................
Update DataTypes extension Change-Id: I855b1a27551da6e251aee1e11964862bedb73a26 --- M extensions/DataTypes 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Verified; Looks good to me, approved diff --git a/extensions/DataTypes b/extensions/DataTypes index 624891c..cc8bc98 160000 --- a/extensions/DataTypes +++ b/extensions/DataTypes -Subproject commit 624891c21fab547e5dc9991f2b53c3741300ad39 +Subproject commit cc8bc98ee143da57488f3ab4e6246e8de667a226 -- To view, visit https://gerrit.wikimedia.org/r/76612 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I855b1a27551da6e251aee1e11964862bedb73a26 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf12 Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
