From: Mark Thom Date: Tue, 3 Dec 2019 02:38:15 +0000 (-0700) Subject: Merge branch 'master' of https://github.com/mthom/rusty-wam X-Git-Tag: v0.8.118~36^2~6 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=33c60d34340cdeae7e5028169726448d8dfd76bd;p=scryer-prolog.git Merge branch 'master' of https://github.com/mthom/rusty-wam --- 33c60d34340cdeae7e5028169726448d8dfd76bd