jenkins-bot has submitted this change and it was merged. Change subject: Update data-values/geo for Wikidata ......................................................................
Update data-values/geo for Wikidata an older version was somehow used in the build, reintroducing the 'division by zero' issue. updates geo to 1.1.4 which contains the fix for this. see If1d2b57 for actual changes. Change-Id: I08cbb01e66a27b3347c56c544a3287ad59cd983f --- M extensions/Wikidata 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Aude: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Wikidata b/extensions/Wikidata index fa02a77..3b7a87d 160000 --- a/extensions/Wikidata +++ b/extensions/Wikidata -Subproject commit fa02a773158e06e1cf65efec18e2c2f15a92de32 +Subproject commit 3b7a87d215e8fc3528904b83262fa8ddec1f35a5 -- To view, visit https://gerrit.wikimedia.org/r/177006 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I08cbb01e66a27b3347c56c544a3287ad59cd983f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf10 Gerrit-Owner: Aude <[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
