Commit 64e2b6ef022607e5ceca39e9ea9b6f3a8cc00f8e

Edward Thomson 2020-04-05T22:28:19

vector: use GIT_ASSERT