From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 2 Aug 2025 07:01:39 +0000 (-0700)
Subject: Merge pull request #3021 from mthom/rebis-dev
X-Git-Tag: v0.10.0~35
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a43bac8fd8f526666426c182f278e0f76e0afd30;p=scryer-prolog.git

Merge pull request #3021 from mthom/rebis-dev

Merge rebis-dev to master
---

a43bac8fd8f526666426c182f278e0f76e0afd30