From: Mark Thom <mark.thom@unb.ca>
Date: Tue, 9 Feb 2021 21:30:09 +0000 (-0700)
Subject: Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev
X-Git-Tag: v0.9.0~150^2~65
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9004aae597edf254565550d2ea1fffa0d46c6901;p=scryer-prolog.git

Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev
---

9004aae597edf254565550d2ea1fffa0d46c6901