Commit e7604da800f19b16d7b6b8281068313a993a90b9

Edward Thomson 2020-04-05T14:51:56

config: use GIT_ASSERT