diff options
author | Boris-Chengbiao Zhou <[email protected]> | 2021-04-29 20:12:48 +0100 |
---|---|---|
committer | Boris-Chengbiao Zhou <[email protected]> | 2021-04-30 15:48:11 +0100 |
commit | ce8c6c47626c3fee3ca49fb3aec4f2c588b3db7a (patch) | |
tree | edef60a908a63d56487488a4e4a146f6f0e0d57b /crates/ide/src/typing/on_enter.rs | |
parent | 80bee14e14f67f02746befff77a8a4bbfd3e5849 (diff) |
Ensure that only one cache priming task can run at a time
Fixes #8632.
Diffstat (limited to 'crates/ide/src/typing/on_enter.rs')
0 files changed, 0 insertions, 0 deletions