diff options
| author | Andrew Gallant <[email protected]> | 2020-04-25 15:26:33 +0100 |
|---|---|---|
| committer | Andrew Gallant <[email protected]> | 2020-04-25 15:26:33 +0100 |
| commit | 0c12b7e8c8605e84873858da0c4aa170140c14bb (patch) | |
| tree | c79cb2cf9e13a564990708a4d898bab8c4dee81c /.gitattributes | |
| parent | c1a31d4261afda9839020f772fd6a97a12d9c941 (diff) | |
main: fix bug where thread pool isn't joined
Pointed out here:
https://github.com/rust-analyzer/rust-analyzer/pull/4133#issuecomment-619386272
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions