From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 21 Jan 2023 04:02:33 +0000 (+0100)
Subject: Merge pull request #1687 from gruhn/master
X-Git-Tag: v0.9.2~233
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5e0e3e27540f028656aa68ae47f92576e92cbc8d;p=scryer-prolog.git

Merge pull request #1687 from gruhn/master

Fix failing Docker build
---

5e0e3e27540f028656aa68ae47f92576e92cbc8d