Merge "Fix DBLockManager comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 16 Aug 2016 08:40:40 +0000 (08:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Aug 2016 08:40:40 +0000 (08:40 +0000)
commitf4a2f8c12ac63cc294a5ed4c8f23c3f8b2d8c23b
tree43c2ddfd921b09a266531087a38bcddd5ff35bb4
parent48e137b6f9a4fe1c0f685a449225ff4b9f8027dc
parent8ad0394d698530e90e4e47d6d34ab58cd4e98b26
Merge "Fix DBLockManager comments"