Replace hasPrivateName/hasPublicName with one extension getter#3752
Merged
srawlins merged 1 commit intodart-lang:mainfrom Apr 22, 2024
Merged
Replace hasPrivateName/hasPublicName with one extension getter#3752srawlins merged 1 commit intodart-lang:mainfrom
srawlins merged 1 commit intodart-lang:mainfrom
