Merge "Removed deprecated unused method in RedisConnectionPool.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Jan 2017 19:22:35 +0000 (19:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Jan 2017 19:22:36 +0000 (19:22 +0000)
commit9d25aa8ecac1ac2b8f765d4d4fcdfaaa798187b2
tree5dcd1117d96d6d566fe1bfe1abe519cdae3b2bef
parente5e91cb0fa2c9d96c6ccac00d3d0c4760b2bccb1
parent73412f53fe8113eebe56818a9cdae7ceaf8f9387
Merge "Removed deprecated unused method in RedisConnectionPool.php"