From: Mark Thom Date: Thu, 27 Jul 2023 20:51:01 +0000 (-0600) Subject: Merge pull request #1927 from triska/ascii_punctuation X-Git-Tag: v0.9.2~20 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=31d17f135aa828cf2a8907796288fe187d97e94c;p=scryer-prolog.git Merge pull request #1927 from triska/ascii_punctuation FIXED: correct handling of ascii_punctuation in char_type/2 (#1926) --- 31d17f135aa828cf2a8907796288fe187d97e94c