]> git.lizzy.rs Git - rust.git/commit
Use bash to make sure &> works
authorRalf Jung <post@ralfj.de>
Tue, 27 Oct 2020 13:21:59 +0000 (14:21 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 27 Oct 2020 13:21:59 +0000 (14:21 +0100)
commit16491aef42d386a9e721b913b9b4d8361a127a5a
treee6e91ae22b19ab38a6e38b7b6dde1ec699fc0b91
parent88da6757d7fe75c853767e4615a6255e9466b67a
Use bash to make sure &> works
miri