diff options
| author | John Estabrook <jestabro@vyos.io> | 2024-03-08 14:24:54 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2024-03-12 11:31:36 -0500 |
| commit | f7a7471bf927543084e2f3ee8966bc5c0a920906 (patch) | |
| tree | dbcffd4bcbe01c7b186b184327e17750fa4f1145 /src/parser.ml | |
| parent | f11f014828c4310ce85af83ba451c39c73397daf (diff) | |
| download | vyos1x-config-f7a7471bf927543084e2f3ee8966bc5c0a920906.tar.gz vyos1x-config-f7a7471bf927543084e2f3ee8966bc5c0a920906.zip | |
T6111: Fix modification of String.escaped to leave UTF-8 bytes unescaped
The existing fix still passed the string as a whole to Bytes.escaped (as
does the standard library function): the exemption of chars with high
bit set needs to occur in Bytes.escaped as well.
Diffstat (limited to 'src/parser.ml')
0 files changed, 0 insertions, 0 deletions