Merge branch 'en/ort-finalize-after-0-merges-fix'
A small API fix to the ort merge strategy backend. * en/ort-finalize-after-0-merges-fix: merge-ort: fix calling merge_finalize() with no intermediate merge
Junio C Hamano committed
May 2, 2023 at 10:13 UTC
39273126017b287028f7d661ef455a0a0fe20880
No changes.