]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1927 from triska/ascii_punctuation
authorMark Thom <[email protected]>
Thu, 27 Jul 2023 20:51:01 +0000 (14:51 -0600)
committerGitHub <[email protected]>
Thu, 27 Jul 2023 20:51:01 +0000 (14:51 -0600)
FIXED: correct handling of ascii_punctuation in char_type/2 (#1926)


Trivial merge