On Mon, Nov 19, 2018 at 02:46:45PM +0000, Lars Madsen wrote: > I think it is 8.6.0 That should be ok. I need to figure out some diagnostics for this. -- Siep Kroonenberg