Merge "Use HTTPS protocol in resources/src/mediawiki.toolbar/images/ksh/LICENSE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 Aug 2017 16:32:58 +0000 (16:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 Aug 2017 16:32:58 +0000 (16:32 +0000)
commit9bd7c7f66058fe26e130759090e7a73beee4d3d0
tree071e97d70ef20642b0581ed24428f5aaf4ae8c79
parentaf28f35696ce2d50bdc0cf62af3ceaf524dc8c68
parent95156f067ee22bd8093e9dec18ffd307313cb6f3
Merge "Use HTTPS protocol in resources/src/mediawiki.toolbar/images/ksh/LICENSE"