Subject: Re: bug#57234: Fix build of package icestorm
From: 宋文武 <[email-masked]>
To: Gabriel Wicki <[email-masked]>
Cc: [email-masked]
Date: Wed, 17 Aug 2022 13:56:32 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Gabriel Wicki <[email-masked]> writes:

> Hello!
>
> I noticed icestorm doesn't build currently.  I've attached a fix.
>
> TIA for merging soon ;)

Hello, the latest version of icestorm have that fix, so I updated the
commit instead of merge this patch, thank you!