Closed christianp closed 1 year ago
An easy special case, pertaining to the wider issue of which unicode characters should be allowed: #690
this is in fact a duplicate of #787
An easy special case, pertaining to the wider issue of which unicode characters should be allowed: #690