On Sun, Mar 05, 2017 at 08:19:42PM +0100, Timo Buhrmester wrote: > > > In the error case > > Fine by me (although I find the semicolon sufficient to communicate > > that it's still referring to the error case). > Ping? Paul just fixed it. Martin