Subject: Re: [bug#74020] [PATCH] gnu: yoshimi: Fix build.
From: "Artyom V. Poptsov" <[email-masked]>
To: [email-masked]
Cc: Giacomo Leidi <[email-masked]>
Date: Sat, 26 Oct 2024 22:45:39 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

Giacomo Leidi, thank you for the patch!

Merged to the "master" branch as
269e4034fcaf55324187efffb6ed5ba14d5e9286.

- avp

-- 
Artyom "avp" Poptsov <[email-masked]>
Home page: https://memory-heap.org/~avp/
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F