On 30/08/16 23:08, Simon Kelley wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA256 > > Sorry about this. Putative fix pushed to git. > > > Cheers, > > Simon. > Looks good. It doesn't go bang anymore on my system :-)