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

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

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'?