Add unnecessary override ignore to fix build#3257

Merged

kevmoo merged 1 commit intodart-lang:masterfrom

parlough:misc/add-unnecessary-override-ignore

Dec 4, 2022

Commits on Dec 4, 2022

Add unnecessary override ignore to fix build

parlough
and
srawlins
committed