]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1687 from gruhn/master
authorMark Thom <[email protected]>
Sat, 21 Jan 2023 04:02:33 +0000 (05:02 +0100)
committerGitHub <[email protected]>
Sat, 21 Jan 2023 04:02:33 +0000 (05:02 +0100)
commit5e0e3e27540f028656aa68ae47f92576e92cbc8d
tree5c53d333b1c9268024fdd3d67099bcde74eff649
parent04fd83526787157aa7f4120d51711e3357474cda
parentf8e6e0252d7d7470be63e72abddac48d8eed4a44
Merge pull request #1687 from gruhn/master

Fix failing Docker build