]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 72a1220 50383ce)
Merge #807
authorbors[bot] <bors[bot]@users.noreply.github.com>
Tue, 12 Feb 2019 15:33:02 +0000 (15:33 +0000)
committerbors[bot] <bors[bot]@users.noreply.github.com>
Tue, 12 Feb 2019 15:33:02 +0000 (15:33 +0000)
807: Specify vscode 1.31 r=matklad a=kjeremy

This is for #796

It doesn't seem to fix the problem if you manually install the extension but it is the "right thing to do".

Co-authored-by: kjeremy <kjeremy@gmail.com>

Trivial merge
Empowering everyone to build reliable and efficient software.