Merge "Watchlist: Commit after each batch watchlist insertion and removal"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 19 Oct 2018 15:23:20 +0000 (15:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 19 Oct 2018 15:23:20 +0000 (15:23 +0000)
commitc44bba66c96928da76654a0972bdebb5da640878
tree2ac3a74376c17d6ece2da304edfb5a6781e510ea
parent6cd66511d209127369ad77c5bc70ab5cf136028c
parent05b490bc4a1fa001ef1aa08e0dc960a841897a45
Merge "Watchlist: Commit after each batch watchlist insertion and removal"