Commit cd2fe662a6da39fcb7bdef666716e7c35fd66ab6

Edward Thomson 2020-04-05T16:56:55

indexer: use GIT_ASSERT