]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #455 from RalfJung/cargo-miri-version
authorRalf Jung <post@ralfj.de>
Sun, 16 Sep 2018 13:37:52 +0000 (15:37 +0200)
committerGitHub <noreply@github.com>
Sun, 16 Sep 2018 13:37:52 +0000 (15:37 +0200)
cargo miri: show version number


No differences found