Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

repair char-foldcase for some single-character special cases #740

Merged
merged 1 commit into from
Oct 23, 2023

Commits on Oct 23, 2023

  1. repair char-foldcase for some single-character special cases

    For example, `(char-foldcase #\x1E9E)` should be `#\xDF`, in contrast
    to the `(string-foldcase (string #\x1E9E))` result of "ss". The
    character foldings that that are different here correspond to cases
    that are "S" status in "CaseFolding.txt".
    
    Thanks to Marc Feeley for noticing and reporting the bug.
    
    Also, repair some dependencies in "s/build.zuo".
    mflatt committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    9761b0a View commit details
    Browse the repository at this point in the history