Hi Steve,
I like this patch much better than the last. It's
ok with me, but you might want give 24 hours to let
the world rotate before committing (ie., allow others
to comment)
Committed as r253768. Thanks for the review!
I don't think it is worth backporting, so I'll close
the bug. If som
On Thu, Oct 12, 2017 at 08:21:46PM +0200, Thomas Koenig wrote:
>
> after some thought, I think the PR can be fixed by something
> far less invasive than my previous patch.
>
> The new version of the patch simply issues an error for a
> non-printable character (which should never be legal).
> Anyt
