Merge "Better handling of jobs execution in post-connection shutdown"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Jun 2017 23:51:11 +0000 (23:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Jun 2017 23:51:11 +0000 (23:51 +0000)
commit814e059201ce003397faca3b36a1182991f75755
treeab7f505e4043d0e1bf998012a415f8a83f049261
parent688b8618a7b8e1162a2dae397864bd413620aa16
parentd80fca05e18d9654b8458ed6966c5d3c4991d88e
Merge "Better handling of jobs execution in post-connection shutdown"