On 2017/08/27 12:07, Patrik Lundin wrote: > On Sat, Aug 12, 2017 at 11:39:14PM +0200, Patrik Lundin wrote: > > > > Since there have been no further feedback, is there a chance the latest > > diff can get commited? > > > > Ping.
The COMPILER infrastructure changed in the meantime, I'm leaving it building now and should be able to pick it up later today.
