]> git.lizzy.rs Git - rust.git/commit
Merge pull request #704 from RalfJung/dev
authorRalf Jung <post@ralfj.de>
Sun, 21 Apr 2019 10:23:54 +0000 (12:23 +0200)
committerGitHub <noreply@github.com>
Sun, 21 Apr 2019 10:23:54 +0000 (12:23 +0200)
commit788616d0f010fd7307ffe3b19d19415bae7782ed
treed644756fb2c78ea9deecc41d88c98d1108f67602
parent96b22259cc0bacfeb7ca7fb9a370cf23e4649c36
parent0d53178d5bba08e80cf25af1665cddd5ff0856e3
Merge pull request #704 from RalfJung/dev

Hopefully make it a bit easier to develop on Miri