Commit 5546d4669ccce281a6f6f89ccf204e671ed0d3a9

Stefan Sperling 2021-09-02T19:39:14

plug a memory leak in check_merge_ok()