bors[bot] 4183825475 Merge #740 ...

740: Update dependencies r=kjeremy a=kjeremy



Co-authored-by: kjeremy <kjeremy@gmail.com>
Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>

2019-02-05 12:16:25 +00:00

..

src

Fix ReachedFixedPoint value for unresolved external prelude items

2019-02-04 23:26:25 +01:00

Cargo.toml

Bump insta and proptest to latest

2019-02-04 14:11:51 -05:00