Merge "Add more documentation to DeferredUpdates::doUpdates"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Mar 2019 16:36:29 +0000 (16:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Mar 2019 16:36:29 +0000 (16:36 +0000)
commit97617ea43632c59a5cca7b439705e40c511f57e8
tree28bc1eacf736c3d80f455bc06d8ae09da39bee62
parent7110e89e542f972bc148ece238829f00fb2e1053
parentd92024053b3c982f839bd1857e505b006f00942b
Merge "Add more documentation to DeferredUpdates::doUpdates"