Merge pull request #24025 from demeritcowboy/batch-remove-2
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 21 Jul 2022 07:58:39 +0000 (08:58 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Jul 2022 07:58:39 +0000 (08:58 +0100)
dev/core#3050 - (Alternate) Fix crash removing an entry from a batch


Trivial merge