Merge "Allow override of extension directory"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 May 2015 18:52:27 +0000 (18:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 May 2015 18:52:27 +0000 (18:52 +0000)
commit635f28e26b5eec663506024e0dcc4fb3d63c19be
treedb7e17d55f004a3e85a888d4538e468b556de38a
parent12be01f2d9197c2f54ad041d54e3552a81ba9852
parentcf2678e24d761d9887469e021a552b7f84862bd1
Merge "Allow override of extension directory"