Merge "Add mobile target to mediawiki.special"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 1 Mar 2016 18:16:33 +0000 (18:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 1 Mar 2016 18:16:33 +0000 (18:16 +0000)
commit01bae7b7f169e80abf9993423f79d364805eae9c
treea5c7c43bbb6d0214e784050597fdd763c48cd13c
parent8f78ac9c3bf577d51ad7daf889e0b148186c105d
parent46cabd425225d53c6ff08d3b41a2f619a84f1617
Merge "Add mobile target to mediawiki.special"