Subject: Re: [bug#52592] [PATCH] gnu: mono: Update to 4.8.1.0.

From: Leo Famulari <[email-masked]>
Date: Mon, 20 Dec 2021 12:56:48 -0500

On Sat, Dec 18, 2021 at 05:28:37PM -0800, Andy Tai wrote:
> In any case, if you want to revert it, go ahead. I am now trying to
> upgrade to Mono 6.

No need to revert, because I had only applied it locally. I hadn't yet
pushed to Savannah. Maybe it's a non-deterministic build failure. I'll
try building on one core and similar things.