Cleanup unused properties #4271
Merged
Azure Pipelines / extensions-ci (Correctness WarningsCheck)
succeeded
Aug 11, 2023 in 5m 41s
Correctness WarningsCheck succeeded
Loading