fix: Change Editor color customizer label #1051
Merged
Azure Pipelines / GitHub CI (TestAndDocCI on Java 11)
succeeded
Aug 19, 2024 in 4m 45s
TestAndDocCI on Java 11 succeeded
Loading