On Wed, Mar 13 2019 16:22:02 +0100, Quentin Rameau wrote: > Hello Lauri, > > > diff below fixes it. > > What does it fix?
the erroneous output on stderr. the comment reads like these escapes are intentionally left unhandled, but in that case it doesn't make sense to output an error about them. -- Lauri Tirkkonen | lotheac @ IRCnet
