Merge branch 'bugfix'

This commit is contained in:
Ihor Radchenko 2023-04-12 10:58:44 +02:00
commit 5d32058bf9
No known key found for this signature in database
GPG Key ID: 6470762A7DA11D8B
1 changed files with 1 additions and 1 deletions

View File

@ -1840,7 +1840,7 @@ INFO is a plist used as a communication channel. See
(replace-regexp-in-string
"--\\|[\\{}$%&_#~^]"
(lambda (m)
(cond ((equal m "--") "-{}-")
(cond ((equal m "--") "-{}-{}")
((equal m "\\") "\\textbackslash{}")
((equal m "~") "\\textasciitilde{}")
((equal m "^") "\\textasciicircum{}")