Subject: Re: [bug#38106] [PATCH] gnu: mrustc: Update to 0.8.1.

From: Ludovic Courtès <[email-masked]>
Date: Wed, 04 Dec 2019 17:55:43 +0100

Hi,

Danny Milosavljevic <[email-masked]> skribis:

> * gnu/packages/patches/mrustc-0.8.0-fix-variable-length-integer-receiving.patch: Delete file.
> * gnu/local.mk (dist_patch_DATA): Remove it.
> * gnu/packages/rust.scm (mrustc): Update to 0.8.1.
> [source](patches): Remove it.

It LGTM.  However, we need to synchronize with Marius and others to
determine which branch it should go to: maybe ‘staging’, probably not
‘master’, due to the long chain of rebuilds involved that prevents
IceCat from being available.

What do people think?

Thanks,
Ludo’.