Commit 6718ad9fae65db3988b37e4893946c565f1806ca

Edward Thomson 2020-04-05T17:20:46

notes: use GIT_ASSERT