]> git.lizzy.rs Git - rust.git/commit
Auto merge of #818 - RalfJung:readme, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 2 Jul 2019 07:51:55 +0000 (07:51 +0000)
committerbors <bors@rust-lang.org>
Tue, 2 Jul 2019 07:51:55 +0000 (07:51 +0000)
commit842a8b6a797987b1b8e27b88a69ca942d3f05d5b
tree3930b21a94bf84ef0911384082b06846cc99b225
parent93f5892962a8d21901cf9f99ba15e72c2cad9913
parente8e42ab5ecead88c23dec9eab9a23019e45410fd
Auto merge of #818 - RalfJung:readme, r=RalfJung

add another bug we found to the list