]> git.lizzy.rs Git - rust.git/commit
avoid unnecessary allocation
authorRalf Jung <post@ralfj.de>
Sat, 13 Jul 2019 13:18:15 +0000 (15:18 +0200)
committerRalf Jung <post@ralfj.de>
Sat, 13 Jul 2019 13:18:15 +0000 (15:18 +0200)
commita11d1f55ff14d7a1708f51e21771c8eb7bf44102
tree5a31723129b07dd768c44ecddcc1b2b5f4ce7647
parent677bde68518887753c3e0fe144a91a588bb1860b
avoid unnecessary allocation
src/bin/miri.rs