On Sun, Aug 27, 2017 at 11:19:44AM +0100, Stuart Henderson wrote: > 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. >
I saw the commit, thank you Stuart :). -- Patrik Lundin
