Hi,

On Thu, 9 Feb 2023 at 13:51, Navid Afkhami <navid.afkhami@mdc-berlin.de> 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