]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #767 from RalfJung/rustup
authorRalf Jung <post@ralfj.de>
Mon, 10 Jun 2019 15:52:55 +0000 (17:52 +0200)
committerGitHub <noreply@github.com>
Mon, 10 Jun 2019 15:52:55 +0000 (17:52 +0200)
fix for rustc rename mir -> body


No differences found