Merge pull request #26790 from demeritcowboy/case-deleted
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 11 Jul 2023 21:57:17 +0000 (09:57 +1200)
committerGitHub <noreply@github.com>
Tue, 11 Jul 2023 21:57:17 +0000 (09:57 +1200)
commitf078a3cc1b6b02ca2850f27f18379acc2b3bfed9
tree48ac38644f61902344a067ecc80bf6e81fac6fd6
parent6986a44222bec1ac8fb1c4088cca1d541ec4d731
parentae93c8d5301331bb224d0eaafafa421d8b50ab37
Merge pull request #26790 from demeritcowboy/case-deleted

dev/core#4427 - Fix broken deleted filter checkbox on Manage Case