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
No comments:
Post a Comment