Merge branch 'master' into harmony

2015-10-28 20:38:07 +01:00
parent 64e7a00399 2a88d07b3a
commit 392ac4ff31
2 changed files with 1 additions and 2 deletions
--- a/lib/output.js
+++ b/lib/output.js
@@ -95,7 +95,7 @@ function OutputStream(options) {
              case "\f": return "\\f";
              case "\n": return "\\n";
              case "\r": return "\\r";
-              case "\v": return "\\v";
+              case "\x0B": return output.option("screw_ie8") ? "\\v" : "\\x0B";
              case "\u2028": return "\\u2028";
              case "\u2029": return "\\u2029";
              case '"': ++dq; return '"';