Merge "Make Database::__clone() a bit more robust using handleSessionLoss()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 22 Sep 2016 20:47:57 +0000 (20:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 22 Sep 2016 20:47:57 +0000 (20:47 +0000)
commit708f03027ba19638418ade004f42f57e17543454
tree3d71474f2db45afdf92cde4da3799be3a3c7ade5
parent7816850e18e0bc3e12c0fd29aab18d93e5a57e41
parentc0c9fe8694e231cf40c543fe32938467305982ea
Merge "Make Database::__clone() a bit more robust using handleSessionLoss()"