]> git.lizzy.rs Git - rust.git/commit
Merge pull request #477 from RalfJung/miri-validate
authorOliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer <github35764891676564198441@oli-obk.de>
Fri, 12 Oct 2018 10:26:39 +0000 (12:26 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 10:26:39 +0000 (12:26 +0200)
commit10244b5a0e29dcc1355a4537d76694c37226cd7b
treea419c919977fc367f20b20bb1a79cc8fd394a13c
parent26f9d617c347185433b77c481a5c50c55d9b72ce
parentc9cf0344eed9a5a475c86a7a1e8be426d1f899ef
Merge pull request #477 from RalfJung/miri-validate

Validate more things