]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: af00ac5)
git: drop the deleted err_c file
authorEric Wong <e@80x24.org>
Sat, 1 Jun 2019 03:27:55 +0000 (03:27 +0000)
committerEric Wong <e@80x24.org>
Sat, 1 Jun 2019 07:38:50 +0000 (07:38 +0000)
No reason to leave that (usually) empty file open after killing off
"cat-file --batch-check".  This wasn't an unbound leak, though,
as respawning the --batch-check process would've clobbered the
old err_c file.


No differences found
My patches to https://public-inbox.org/public-inbox.git