Commit 931fd6b08a810f02fc046ef9501d0b7e6a8e2640

Edward Thomson 2020-04-05T17:29:13

odb: use GIT_ASSERT