mishoo/UglifyJS2 — pull request #312 by jasondavies (2013-10-08 13:23:14+00:00)
Title: Better escaping of null characters.

If a null character isn't followed by a digit, then it should be safe to
escape it using the shorter sequence "\0" instead of "\x00".

See #220.