diff options
| author | Peter Eisentraut | 2023-09-18 05:25:46 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2023-09-18 05:25:46 +0000 |
| commit | 5c08927d365bf20c74fc141d75538ca7e44d303f (patch) | |
| tree | cef9179c2a9fb0c9ede8bb9d7e6475171283e4ad /src/backend/regex | |
| parent | e0e492e5a928e9c9eda01eeebadcfc36f9f8e7b7 (diff) | |
Make Unicode script fit for future versions
Between Unicode 15.0.0 and 15.1.0, the whitespace in
EastAsianWidth.txt has changed a bit, such as from
0020;Na # Zs SPACE
to
0020 ; Na # Zs SPACE
with space around the semicolon. Adjust the script to be able to
parse that.
Diffstat (limited to 'src/backend/regex')
0 files changed, 0 insertions, 0 deletions