]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1759 from triska/better_queue
authorMark Thom <[email protected]>
Thu, 16 Mar 2023 03:34:33 +0000 (04:34 +0100)
committerGitHub <[email protected]>
Thu, 16 Mar 2023 03:34:33 +0000 (04:34 +0100)
Better queue


Trivial merge