Merge branch 'al/ref-filter-merged-and-no-merged'
authorJunio C Hamano <redacted>
Sun, 4 Oct 2020 19:49:09 +0000 (12:49 -0700)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT