Subject: Re: [bug#67929] [PATCH] gnu: gnunet: Update to 0.20.0.

From: Guillaume Le Vaillant <[email-masked]>
Date: Fri, 29 Dec 2023 11:19:19 +0000

Patches pushed as d68517059f12f9adf86adfa3f087ab7d93bc2f15 and
following.
Thanks.