[Wikidata-bugs] [Maniphest] [Commented On] T175134: Add data-values/number to mediawiki-vendor

2017-11-03 Thread gerritbot
gerritbot added a comment. Change 388408 merged by jenkins-bot: [mediawiki/vendor@master] Wikibase: data-values/number: 0.9.1 https://gerrit.wikimedia.org/r/388408TASK DETAILhttps://phabricator.wikimedia.org/T175134EMAIL

[Wikidata-bugs] [Maniphest] [Commented On] T175134: Add data-values/number to mediawiki-vendor

2017-11-03 Thread gerritbot
gerritbot added a comment. Change 388408 had a related patch set uploaded (by Addshore; owner: Addshore): [mediawiki/vendor@master] Wikibase: data-values/number: 0.9.1 https://gerrit.wikimedia.org/r/388408TASK DETAILhttps://phabricator.wikimedia.org/T175134EMAIL