rust-lang/rust — pull request #20089 by rolftimmermans (2014-12-20 23:07:45+00:00)
Title: Escape control characters in JSON output

The JSON spec (http://www.json.org) says that control characters are not allowed in JSON, but Rust currently does not escape them. This PR escapes ASCII control characters in JSON output.