diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-04 19:46:01 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-04 19:46:01 +0000 |
| commit | 4c1fcda0f8183060de5a341fffa2b30e65bdb52f (patch) | |
| tree | 65ea20cd514460bb5a0f0bf4d03486ba2ad5bc75 /crates/ssr/src/matching.rs | |
| parent | 36191543a679d4e01c206d2e98a2d7ae170a25e2 (diff) | |
| parent | 4a722a34f93d56d8a4e9d716d4aa054c88e6b868 (diff) | |
Merge #7558
7558: Update thread_local r=kjeremy a=kjeremy
Pulls in https://github.com/Amanieu/thread_local-rs/pull/30 which fixes
a leak when dropping ThreadLocal.
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/ssr/src/matching.rs')
0 files changed, 0 insertions, 0 deletions