]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1929 from Skgland/master
authorMark Thom <[email protected]>
Sat, 29 Jul 2023 16:52:36 +0000 (10:52 -0600)
committerGitHub <[email protected]>
Sat, 29 Jul 2023 16:52:36 +0000 (10:52 -0600)
detect and prevent concurrent AtomTable use


Trivial merge