diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-30 08:10:13 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-30 08:10:13 +0000 |
commit | e2bc57e3c89e469eee772aa8e42df1d453fea922 (patch) | |
tree | 1827de7667aa78e10290b866bf939f531c572953 /editors/code/src | |
parent | 748fbb5371b4ec1b2413dde057c3ae6e050481b7 (diff) | |
parent | c97bb8f7e4a62937e44c25b7fa098c6cb6894535 (diff) |
Merge #361
361: fix the cancellation bug r=matklad a=matklad
See https://github.com/salsa-rs/salsa/pull/103 for the upstream fix
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions