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\\`.
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
astring should have been\\b\\.