Merge pull request #21126 from eileenmcnaughton/batch
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 26 Aug 2021 21:37:11 +0000 (09:37 +1200)
committerGitHub <noreply@github.com>
Thu, 26 Aug 2021 21:37:11 +0000 (09:37 +1200)
dev/core#2717  - further cleanup


Trivial merge