Subject: Re: [bug#71564] [PATCH v2 0/3] *** Update of gnuradio and fixing dependency build failutes ***
From: Guillaume Le Vaillant <[email-masked]>
To: Andy Tai <[email-masked]>
Cc: [email-masked]
Date: Wed, 26 Jun 2024 14:35:40 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as cd9b667ba04a2acb24c5fdbe9b533d879288382d and
following.
Thanks.