]> git.lizzy.rs Git - rust.git/commit
Auto merge of #998 - RalfJung:comment, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 15 Oct 2019 09:25:22 +0000 (09:25 +0000)
committerbors <bors@rust-lang.org>
Tue, 15 Oct 2019 09:25:22 +0000 (09:25 +0000)
commit0d01c306fe032de4f2c4722ae235caa021ad37db
tree09560e85b9eaeff3a81522cc51f741c772c6b1ce
parent42c1e779cbacf71550aa3ea725c72cb65e8293fd
parent4ba63fb0fcdc6407c284bc58935c8df7b6d79c30
Auto merge of #998 - RalfJung:comment, r=RalfJung

explain our shell encoding

Follow-up to https://github.com/rust-lang/miri/pull/980