diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-06 19:54:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-06 19:54:36 +0000 |
| commit | 856c2850cd4ab90b79ef6f9232e2bcfc04d8fde2 (patch) | |
| tree | bb8e089adda7b848ba75b48b9afd3e6e8a45a429 /editors | |
| parent | 71b8fb7c572eb658ee1136f086d6348aafba1e1d (diff) | |
| parent | 5bb4aec05f547cce8d9752a0e856b9b91e911643 (diff) | |
Merge #7865
7865: preserve escape sequences when replacing string with char r=Veykril a=jDomantas
Currently it replaces escape sequence with the actual value, which is very wrong for `"\n"`.
Co-authored-by: Domantas Jadenkus <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions