Commit f60ebfcb6b66b317ced1acca463e729cc182b83d

Edward Thomson 2020-04-04T23:31:05

annotated_commit: use GIT_ASSERT