Merge "convertExtensionToRegistration: Add --skin option"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 29 Jan 2015 22:07:47 +0000 (22:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Jan 2015 22:07:47 +0000 (22:07 +0000)
commit7413183dbc84d525a90484ec6670a8ff1bb64e3f
tree2b6ace83f38fdddae9595ea57cb0636653cb136e
parent5564239a0aa52fc12c096d640c5b94e13fe63b8e
parent89c3ef0baf50e82a93e9367dcd2ac2b3b4ea8102
Merge "convertExtensionToRegistration: Add --skin option"