Merge "rdbms: small cleanups to session loss handling"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 9 Mar 2018 00:25:59 +0000 (00:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 9 Mar 2018 00:25:59 +0000 (00:25 +0000)
commit2e0cb2dfd365bb37fd611923234023855afcb514
tree764edf877a39382b2e134f13055778202a90239e
parent0d34175d4b2279dd1a1140d8563c0daa1b136c19
parent5e53629c3c8fd9f0fa476df583e66b69e81ffe88
Merge "rdbms: small cleanups to session loss handling"