Subject: Re: bug#57925: [PATCH] gnome-todo is now endeavour + version bump

From: Mathieu Othacehe <[email-masked]>
Date: Wed, 28 Sep 2022 13:27:54 +0200

Hello,

> -(define-public gnome-todo
> +(define-public endeavour
>    (package
> -    (name "gnome-todo")
> -    (version "41.0")
> +    (name "endeavour")
> +    (version "42.0")

This is done on core-updates with
96c78878645f33b64b4b60fe8e1399c902b7facd.

Thanks,

Mathieu