From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 29 Oct 2024 19:15:08 +0000 (-0600)
Subject: Merge pull request #2647 from panasenco/master
X-Git-Tag: v0.10.0~107
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e8ef9bc33ad439321e8d5392db64059e70f709ff;p=scryer-prolog.git

Merge pull request #2647 from panasenco/master

Updated Dockerfile
---

e8ef9bc33ad439321e8d5392db64059e70f709ff