From: Mark Thom Date: Mon, 14 Sep 2020 16:46:11 +0000 (-0600) Subject: Merge branch 'master' of https://github.com/mthom/rusty-wam into master X-Git-Tag: v0.9.0~174 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d71d9cc8ef5641c8c12d5891f548732d1e879508;p=scryer-prolog.git Merge branch 'master' of https://github.com/mthom/rusty-wam into master --- d71d9cc8ef5641c8c12d5891f548732d1e879508