diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-31 18:12:01 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-31 18:12:01 +0100 |
commit | 4cb4b23dc6dd593bc3eacf1a47a0af0d7e7062c1 (patch) | |
tree | a6202420f5e88f645f4bd9f49a13e4c8451d5dfc /editors/code/.vscodeignore | |
parent | 020610f4539f5d553179e0b4dae46cae9db93e41 (diff) | |
parent | 159922de93bd0437093f9ca07eda4673ba285b89 (diff) | |
parent | ee995dbfd441e20bba21306c41aec0049c1d7da4 (diff) |
Merge #9084 #9087
9084: fix: avoid panics in match case diagnostic r=matklad a=matklad
bors r+
🤖
closes #8809
9087: fix: fix shell injection in task spawning r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>