Am 31.08.2016 um 11:51 schrieb Kevin Darbyshire-Bryant: > > On 30/08/16 23:08, Simon Kelley wrote: >> Sorry about this. Putative fix pushed to git. > > Looks good. It doesn't go bang anymore on my system :-) The same for me. Regards, Hartmut