On Fri Nov 10 15:34:58 2017, tmark wrote:
> Really not sure how this got by us.
> 
> Ready to review.
>   
> This needs to be merged into v4_3 and v4_1_esv as well.

=> a "tmark is not a tty" issue. Code OK!