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