Merge "Use new ScopedCallback::newScopedIgnoreUserAbort helper function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 3 Nov 2018 00:43:22 +0000 (00:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 3 Nov 2018 00:43:22 +0000 (00:43 +0000)
commitf014bf5276433106763e3b9f71a8ea2040db1ca8
treecf1cba6190aa569d7fd88a0d892fdb22f5d58b34
parent7b2dca9e2acc1f4804b53653f5b070dc48d7cb55
parent3ee7eee36015ce6b47c6695e66eaa54a9dcfd29a
Merge "Use new ScopedCallback::newScopedIgnoreUserAbort helper function"