From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 25 May 2026 20:03:31 +0000 (-0600)
Subject: Merge pull request #3317 from Skgland/optimize-put_back_char
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=79597b63bfe7e5a3a4eadaac2ba593d1914ec149;p=scryer-prolog.git

Merge pull request #3317 from Skgland/optimize-put_back_char

optimize put_back_char
---

79597b63bfe7e5a3a4eadaac2ba593d1914ec149