Hi Miklos,

On Fri, 3 Feb 2017 09:35:09 +0100 Miklos Szeredi <mik...@szeredi.hu> wrote:
>
> Sorry, I removed the conflicting content from that tree.

Excellent, thanks.

-- 
Cheers,
Stephen Rothwell

Reply via email to