#973743 php7.3-cli: preg_replace() replaces wrong unicode characters

Package:
php7.3-cli
Source:
php7.3
Submitter:
jlh
Date:
2020-11-04 11:09:04 UTC
Severity:
normal