diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-11 09:32:32 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-11 09:32:32 +0000 |
commit | f55d74dc0dfc8d3f97c7b815c854a34df6e42300 (patch) | |
tree | f5d693c7ee32b16dfaf87f9a534bebd47a7f5d10 /editors/code/src | |
parent | 98aa709fa75bf53f8b96e26c6b8e7ed29a086ebf (diff) | |
parent | f51e3a357e3f809ac25e0e53948cdbc6c0a7c60f (diff) | |
parent | 2344dac183cf95c6d1ac9104fa5e55af38534402 (diff) |
Merge #3083 #3101
3083: Update some crates r=matklad a=kjeremy
3101: vscode: filter out arm linux from using prebuilt binaries r=matklad a=Veetaha
Closes #3076
Co-authored-by: kjeremy <[email protected]>
Co-authored-by: Veetaha <[email protected]>