From: Mark Thom Date: Mon, 13 Apr 2020 12:13:17 +0000 (-0300) Subject: Merge pull request #341 from triska/master X-Git-Tag: v0.8.123~170 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9ac71f304de34d5a4bc6c3d9e70e2f4437ace279;p=scryer-prolog.git Merge pull request #341 from triska/master the workaround is no longer necessary, since #336 is now corrected --- 9ac71f304de34d5a4bc6c3d9e70e2f4437ace279