Merge "Avoid fatals in begin/commit/rollback if close() was called"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 May 2014 04:20:00 +0000 (04:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 May 2014 04:20:00 +0000 (04:20 +0000)
commit638478158aa1d93b2e5b80c9b52c859d5802ed26
treed27f196addc86874e4a0ea10ac156cce962451de
parent29f4fd503510617369663d5af2276dd4689bd89b
parent3f495e45193014a7a84234a3f50b439488fa95ea
Merge "Avoid fatals in begin/commit/rollback if close() was called"
includes/db/Database.php