From: Mark Thom Date: Fri, 4 Aug 2023 00:34:19 +0000 (-0600) Subject: Merge pull request #1948 from triska/chars_si X-Git-Tag: v0.9.2~14 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ffbf630b5c5e84eb5a9c0cf6abf84a04ef1cd88d;p=scryer-prolog.git Merge pull request #1948 from triska/chars_si add character_si/1 and use it to correct chars_si/1 --- ffbf630b5c5e84eb5a9c0cf6abf84a04ef1cd88d