Merge "Move RedisConnectionPool to /libs/redis"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Sep 2016 21:57:36 +0000 (21:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Sep 2016 21:57:36 +0000 (21:57 +0000)
commit5680b24b3e02b5e015ea4047004ff1757ee6b000
tree4e6efe0cb2db5028a88d4c227a2f39289bbc1d3a
parentc796715911e2a8bd366dd8104fea1f967a6f9684
parent10593ffaabe7f4bb959aeef8eb8d640398ee7349
Merge "Move RedisConnectionPool to /libs/redis"
autoload.php