Merge pull request #22158 from colemanw/api4DeleteOptionList
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 29 Nov 2021 19:08:35 +0000 (08:08 +1300)
committerGitHub <noreply@github.com>
Mon, 29 Nov 2021 19:08:35 +0000 (08:08 +1300)
APIv4 - Delete unused OptionList trait


Trivial merge