Open HouzuoGuo opened 2 years ago
Merry Christmas and happy new year!
I noticed this bug when I tried to format a string that looks like a Windows file path. Here's a minimal example:
echo '{"a": "\\\\b\\\\"}' | jsonlint { "a": "\b\\" }
The value of a string should have been \\b\\.
a
\\b\\
Merry Christmas and happy new year!
I noticed this bug when I tried to format a string that looks like a Windows file path. Here's a minimal example:
The value of
a
string should have been\\b\\
.