perf(language_server): avoid Mutex in ServerLinter - #15516
Merged
graphite-app[bot] merged 1 commit intoNov 10, 2025
Merged
Graphite App / Graphite / mergeability_check
succeeded
Nov 10, 2025 in 1s
Summary
This check concluded as success.
Loading