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

Reply via email to