]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2013 from gruhn/fix-docker-debian-bullseye
authorMark Thom <[email protected]>
Mon, 11 Sep 2023 17:23:10 +0000 (11:23 -0600)
committerGitHub <[email protected]>
Mon, 11 Sep 2023 17:23:10 +0000 (11:23 -0600)
fix Docker image


Trivial merge