Commit 00974bcaa3340380a77c262950105b328d2f6ff6

Edward Thomson 2020-04-05T14:52:48

date: use GIT_ASSERT