Skip to content

diff: release all handles before running external diff#213

Closed
dscho wants to merge 1 commit into
gitgitgadget:masterfrom
dscho:munmap-before-ext-diff
Closed

diff: release all handles before running external diff#213
dscho wants to merge 1 commit into
gitgitgadget:masterfrom
dscho:munmap-before-ext-diff

Commits

Commits on Jul 10, 2019