]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'al/ref-filter-merged-and-no-merged'
authorJunio C Hamano <gitster@pobox.com>
Sun, 4 Oct 2020 19:49:09 +0000 (12:49 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 4 Oct 2020 19:49:09 +0000 (12:49 -0700)
Hotfix.

* al/ref-filter-merged-and-no-merged:
  ref-filter: plug memory leak in reach_filter()


Trivial merge