Merge "Call ignore_user_abort() right before committing to the DB"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Mar 2014 19:51:54 +0000 (19:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Mar 2014 19:51:54 +0000 (19:51 +0000)
commit84fa4c83016089396c64c9cfccf5bb32cde40a57
tree2636b3e8506fec26482e582795ebb9091038da8b
parentfad6613b3689a4dde72e495019ba7d6399644f25
parentdc8283a386421128f042e51a041c91d684dba432
Merge "Call ignore_user_abort() right before committing to the DB"