Merge "Remove unnecessary, unoptimized, unused overview SVG"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 Oct 2018 03:04:20 +0000 (03:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 Oct 2018 03:04:20 +0000 (03:04 +0000)
commitf96aaf6833d052d10d46af47540fff995362433e
treedb7092cf2b3febef5795599029897a183f3ef083
parenta6a017cea454458216aca5f06251b2e9b86bd9e3
parentfd6d96f6e43ec86abaec6409789ec913fc2be81e
Merge "Remove unnecessary, unoptimized, unused overview SVG"