Subject: Re: bug#61873: [PATCH core-updates] gnu: libgc: Update to 8.2.2 and remove '--disable-munmap'.

From: Ludovic Courtès <[email-masked]>
Date: Thu, 02 Mar 2023 21:54:55 +0100

Hi,

Andreas Enge <[email-masked]> skribis:

> Could you push it? Before that there is not much point in rebuilding
> core-updates, knowing it will have to be rebuilt right after that again.

Pushed as 5222ed8dc364f13a36bca13c151856a3edab795a.  Apologies for the
delay!

Ludo’.