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

From: Danny Milosavljevic <[email-masked]>
Date: Sun, 19 Jan 2020 23:11:05 +0100

Hi Marius,

On Sun, 19 Jan 2020 22:36:24 +0100
Marius Bakke <[email-masked]> wrote:

> Danny Milosavljevic <[email-masked]> writes:
> 
> > * 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.  
> 
> Was there any problems with this patch, or can we apply it on 'staging'?

I'm pretty sure it did work.

But I'm testing moving to mrustc 0.9 immediately right now, might want to wait
for that (or not--doesn't make much of a difference except for the useless
rebuilds).