Subject: [bug#61381] [ext] Re: [bug#61381] [PATCH] gnu: tetoolkit: Update to 2.2.1b.

From: Simon Tournier <[email-masked]>
Date: Thu, 9 Feb 2023 14:00:41 +0100

Hi,

On Thu, 9 Feb 2023 at 13:51, Navid Afkhami <[email-masked]>
wrote:

> Thank you for your Email. Probably it happened when i was doing a local
commit (Sending a GUIX package). Please ignore it!

No worry.  The change is an extra backquote and I was not sure to
understand if it was expected.  Hence my quesiton. :-)
Anway.

I am closing this.  Thanks for your other contributions.

Cheers,
simon