Merge "clientpool: Remove unused parameter from constructor header"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Apr 2019 04:52:09 +0000 (04:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Apr 2019 04:52:09 +0000 (04:52 +0000)
commit9c8f85dfda055e6460ad1792831ce3421ccd503f
tree18c4419a4e365bf9fa8b2edee85da31aa78910bb
parent3353ced6cd3148de1549568ee9633a913fd5faab
parentcc8a5532fdd39f6978272121445dc5b46db3aa9f
Merge "clientpool: Remove unused parameter from constructor header"