Commit 055fbf6d904a7799cb42293da588082b6dca84a4

Edward Thomson 2020-04-05T21:55:59

revert: use GIT_ASSERT