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)
commit03b0198e304a18dcc83febefd58e30ab1f0aac1e
tree05cbf8d27c7db2ce3cde41bdecdbfda34331c404
parent9839cce4a7d9c426b82d3b2198a503918d9c8894
parent5336d5069626a9e06e224cbc1730ee96c5742108
Merge branch 'al/ref-filter-merged-and-no-merged'

Hotfix.

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