]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jk/diff-files-cleanup-fix' into maint
authorJunio C Hamano <redacted>
Wed, 27 Jul 2022 20:00:27 +0000 (13:00 -0700)
committerJunio C Hamano <redacted>
Wed, 27 Jul 2022 20:00:27 +0000 (13:00 -0700)
An earlier attempt to plug leaks placed a clean-up label to jump to
at a bogus place, which as been corrected.
source: <redacted>

* jk/diff-files-cleanup-fix:
  diff-files: move misplaced cleanup label


Trivial merge
git clone https://git.99rst.org/PROJECT