[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#52592] [PATCH] gnu: mono: Update to 4.8.1.0.
|
From: |
Leo Famulari |
|
Subject: |
[bug#52592] [PATCH] gnu: mono: Update to 4.8.1.0. |
|
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.