Merge pull request #8 from jkczyz/2021-05-git-dependencies
authorJeffrey Czyz <jkczyz@gmail.com>
Sat, 8 May 2021 02:54:26 +0000 (19:54 -0700)
committerGitHub <noreply@github.com>
Sat, 8 May 2021 02:54:26 +0000 (19:54 -0700)
Use dependencies from git when building locally


Trivial merge