Gabriel Wicki 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!