Subject: Re: [PATCH v2] gnu: rustc: Update to 1.16.0. gnu: cargo: Update to 0.17.0.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Mon, 10 Apr 2017 09:06:30 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed the Rust update to master as 9ea0cdaf7f60823c861868e210add3d1b3af11fd. Closing bug report.