Rust week of 2017-12-07

2017-12-14

Some more work on mrh:

I experienced some failures too: