From: Mark Thom Date: Thu, 13 Jan 2022 15:03:25 +0000 (-0700) Subject: Merge pull request #1208 from triska/mention-rebis-dev X-Git-Tag: v0.9.0~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=08363b1d734e34a65e3aef4319ea6ce47f3f5c5b;p=scryer-prolog.git Merge pull request #1208 from triska/mention-rebis-dev add links to the rebis-dev branch and its announcement --- 08363b1d734e34a65e3aef4319ea6ce47f3f5c5b