perf(language_server): avoid Mutex in ServerLinter#15516
Merged
graphite-app[bot] merged 1 commit intomainfrom Nov 10, 2025
Merged
perf(language_server): avoid Mutex in ServerLinter#15516graphite-app[bot] merged 1 commit intomainfrom
Mutex in ServerLinter#15516graphite-app[bot] merged 1 commit intomainfrom