Commit 61f33f3e8ab90ce65a69a70a98675ca6b20c7630

Edward Thomson 2020-04-05T17:08:42

merge_driver: use GIT_ASSERT