]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1635 from mthom/rebis-dev v0.9.1
authorMark Thom <[email protected]>
Thu, 10 Nov 2022 06:18:10 +0000 (07:18 +0100)
committerGitHub <[email protected]>
Thu, 10 Nov 2022 06:18:10 +0000 (07:18 +0100)
Merge rebis-dev into master


Trivial merge