Subject: Re: [bug#42308] [PATCH] gnu: gnunet: Update to 0.13.0.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 13 Jul 2020 01:03:51 +0200

Hi Tanguy,

Tanguy Le Carrour <[email-masked]> skribis:

> * gnu/packages/gnunet.scm (gnunet): Update to 0.13.0. [native-inputs] Add curl.
> [arguments] Disable one failing test.

Pushed, followed by an update to 0.13.1.

Thanks,
Ludo’.