Change non-ASCII character to double dash.
Authored by: luciansmith 2021-10-23
Parent: [r26316]
Child: [r26318]