Skip to content

Fixes a bug where warnings about discriminator not being inherited were generated#4762

Merged
andrueastman merged 2 commits intomainfrom andrueastman/fixWarningsJun 3, 2024

Commits

Commits on Jun 3, 2024