diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-22 13:47:27 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-22 13:47:27 +0000 |
| commit | 8fed875c90796b2390f5b966c3f1eca536661af1 (patch) | |
| tree | 0f88728c1f25445000dd666a633e7d0235d4075e /crates/tools | |
| parent | 5a5402d4d4ab033f0035622df880c82ea064d2c5 (diff) | |
| parent | 724862a1a4da8bbb04728bd9264938c0102151c5 (diff) | |
Merge #323
323: workaround salsa/parking-log bug r=matklad a=matklad
https://github.com/salsa-rs/salsa/issues/99
https://github.com/Amanieu/parking_lot/issues/101
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/tools')
0 files changed, 0 insertions, 0 deletions