]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1993 from coasys/dashu-fixes
authorMark Thom <[email protected]>
Mon, 11 Sep 2023 17:33:16 +0000 (11:33 -0600)
committerGitHub <[email protected]>
Mon, 11 Sep 2023 17:33:16 +0000 (11:33 -0600)
Dashu fixes


Trivial merge