Hi Miklos,On Fri, 3 Feb 2017 09:35:09 +0100 Miklos Szeredi <miklos@szeredi.hu> wrote:>> Sorry, I removed the conflicting content from that tree.Excellent, thanks.-- Cheers,Stephen Rothwell