6300831c655185508b6f699072722f0ea6d5be34
Tested this change with both gawk and nawk and it worked fine. If the extra escape character is present and gawk is used, you'll get warnings from gawk telling you it's ignoring the escape sequence and just treating it as the character to begin with.
Description
No description provided
Languages
C
80.1%
omnetpp-msg
8.9%
C++
3.8%
Shell
2%
Roff
1.6%
Other
3.2%