Subject: Re: [bug#38106] [PATCH] gnu: mrustc: Update to 0.8.1.
From: Danny Milosavljevic <[email-masked]>
To: Marius Bakke <[email-masked]>
Cc: [email-masked]
Date: Tue, 21 Jan 2020 08:35:45 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to guix staging as commit 400a4d65acde14182fd9741d8a46ed5a6e8fd1d7
after extensive testing on bayfront.

Commit 84800833eac3fd92e685d7977f3b4b06fc32aa44 cleans up mrustc a bit.