On Tue, 26 Jun 2018 08:16:24 +0200, Paul de Weerd wrote: > I think this is correct. While looking at that piece of code, I > completely missed the incrementing of linenum. Now that you point it > out explicitly, it's quite obvious that this was the problem all > along. I'll put this on my ssh jump host tonight.
I just committed the fix. - todd
