diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-17 18:01:18 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-17 18:01:18 +0000 |
commit | 99975d08f0f1497abc6dc13681f040848595e50b (patch) | |
tree | 82bf4b81361e01779ed78784e69409bb6c50d700 /.github/actions | |
parent | 156f7d6963fb6b47570bfa457fdf51733a182054 (diff) | |
parent | 7c6c812a74534173fc7070e3534e612a6219034a (diff) | |
parent | 4e73c8f6086f32db50699660619bd2bcf1bf47e3 (diff) | |
parent | 1d333a83879c9040d0cfa460bce6ddd71e694434 (diff) |
Merge #6577 #6579 #6581
6577: fix typos in syntax.md r=matklad a=jakobhellermann
6579: cargo update and add new license r=matklad a=kjeremy
6581: Use vscode-languageclient 7.0.0-next.14 r=matklad a=kjeremy
Co-authored-by: Jakob Hellermann <[email protected]>
Co-authored-by: kjeremy <[email protected]>