]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #341 from triska/master
authorMark Thom <[email protected]>
Mon, 13 Apr 2020 12:13:17 +0000 (09:13 -0300)
committerGitHub <[email protected]>
Mon, 13 Apr 2020 12:13:17 +0000 (09:13 -0300)
the workaround is no longer necessary, since #336 is now corrected


Trivial merge