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

From: Brett Gilio <[email-masked]>
Date: Wed, 04 Dec 2019 12:31:57 -0600

Ludovic Courtès <[email-masked]> writes:

> What do people think?

Not a maintainer for this package. But I agree with Ludo, this needs to
go in a different branch to prevent a massive rebuild.

-- 
Brett M. Gilio
https://git.sr.ht/~brettgilio/