From: Mark Thom Date: Sat, 29 Jul 2023 16:52:36 +0000 (-0600) Subject: Merge pull request #1929 from Skgland/master X-Git-Tag: v0.9.2~19 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ca28c76e522163e291c8338eee74061ecf2b5129;p=scryer-prolog.git Merge pull request #1929 from Skgland/master detect and prevent concurrent AtomTable use --- ca28c76e522163e291c8338eee74061ecf2b5129