diff options
author | Emil Lauridsen <[email protected]> | 2020-01-15 14:50:49 +0000 |
---|---|---|
committer | Emil Lauridsen <[email protected]> | 2020-01-15 14:50:49 +0000 |
commit | 478ba65f8da6ffd4a3fea09c6a4a1f0fb92e1c85 (patch) | |
tree | 7406f354ac2f5ade2f0437a418cc172f76d861b4 /crates/ra_batch | |
parent | fdb13dade970d730468cab80ab62837124b08195 (diff) |
Manage check state updates in main_loop to reduce lock contention
Diffstat (limited to 'crates/ra_batch')
0 files changed, 0 insertions, 0 deletions