From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 11 Sep 2023 17:23:10 +0000 (-0600)
Subject: Merge pull request #2013 from gruhn/fix-docker-debian-bullseye
X-Git-Tag: remove~102
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=46c78ad3381beb115782706c2ceda320b6e48173;p=scryer-prolog.git

Merge pull request #2013 from gruhn/fix-docker-debian-bullseye

fix Docker image
---

46c78ad3381beb115782706c2ceda320b6e48173