From: Ralf Jung <post@ralfj.de>
Date: Mon, 13 Jun 2016 12:01:09 +0000 (+0200)
Subject: Merge branch 'master' of git://ralfj.de/rust-101
X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/57fd78e47f3f9d935f62a5dc05e8676ae035ad3d?ds=sidebyside;hp=57fd78e47f3f9d935f62a5dc05e8676ae035ad3d

Merge branch 'master' of git://ralfj.de/rust-101
---