Commit 87d378961cc05daeefefdb1023a738249b8c6cf6

Edward Thomson 2020-04-05T17:35:19

oid: use GIT_ASSERT