Commit f16f2927879c9a2193d575f655ecd110508313df

Edward Thomson 2020-04-05T17:09:59

merge_file: use GIT_ASSERT