-
Christoph Mallon authored
Non-printable characters are emitted as octal sequences, e.g. \0 for 0. Always pad them to three digits, so they do not accidently join with a following ASCII digit. E.g. "\0""7" was emitted as "\07", correct is "\0007".
7491bedf