]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #415 from RalfJung/cargo-miri
authorRalf Jung <post@ralfj.de>
Thu, 26 Jul 2018 16:27:44 +0000 (18:27 +0200)
committerGitHub <noreply@github.com>
Thu, 26 Jul 2018 16:27:44 +0000 (18:27 +0200)
test `cargo miri` output


Trivial merge