Sorry, the previously attached patch didn't apply using "git am" so I forgot about it.
I fixed it now and commited it as b500dc2e83adc5529b890349af48655d0adaf1f8 to master.
- [PATCH 0/1] gnu: icestorm: Replace reference in icebox... Theodoros Foradis
- [PATCH 1/1] gnu: icestorm: Replace reference in i... Theodoros Foradis
- Re: [PATCH 1/1] gnu: icestorm: Replace refere... Danny Milosavljevic
- Re: [PATCH 1/1] gnu: icestorm: Replace re... Theodoros Foradis
- Re: [PATCH 1/1] gnu: icestorm: Replac... Danny Milosavljevic
- Re: [PATCH 1/1] gnu: icestorm: R... Leo Famulari
- Re: [PATCH 1/1] gnu: icestor... Theodoros Foradis
- Re: [PATCH 1/1] gnu: ice... Danny Milosavljevic
