]> git.lizzy.rs Git - rust.git/commit
Merge pull request #666 from RalfJung/readme
authorOliver Scherer <github35764891676564198441@oli-obk.de>
Tue, 26 Mar 2019 10:36:53 +0000 (11:36 +0100)
committerGitHub <noreply@github.com>
Tue, 26 Mar 2019 10:36:53 +0000 (11:36 +0100)
commit95a842ba40f39edf119cd2623de80a90a2bcab39
treecb562b394f4089eae20d21f8c6c70f7673668445
parentb06879c1bd5d7c2fbe4cc12a0ded31ea5b879ea5
parent63b4a7661d620e804f5fc682c05aec3c499fe88a
Merge pull request #666 from RalfJung/readme

explain Miri limitations