Subject: Re: bug#57234: Fix build of package icestorm

From: 宋文武 <[email-masked]>
Date: Wed, 17 Aug 2022 13:56:32 +0800

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!