Merge pull request #20033 from colemanw/searchKitHavingLabel
authorEileen McNaughton <emcnaughton@wikimedia.org>
Sun, 11 Apr 2021 19:08:35 +0000 (07:08 +1200)
committerGitHub <noreply@github.com>
Sun, 11 Apr 2021 19:08:35 +0000 (07:08 +1200)
dev/report#58 SearchKit - Rename 'Filters' to 'Having' for clarity


Trivial merge