Merge pull request #19065 from colemanw/campaignTabs
authorMatthew Wire <mjw@mjwconsult.co.uk>
Sat, 28 Nov 2020 18:31:14 +0000 (18:31 +0000)
committerGitHub <noreply@github.com>
Sat, 28 Nov 2020 18:31:14 +0000 (18:31 +0000)
Minor tabs cleanup toward fixing dev/core#2215


Trivial merge