tree 05cbf8d27c7db2ce3cde41bdecdbfda34331c404
parent 9839cce4a7d9c426b82d3b2198a503918d9c8894
parent 5336d5069626a9e06e224cbc1730ee96c5742108
author Junio C Hamano <gitster@pobox.com> 1601840949 -0700
committer Junio C Hamano <gitster@pobox.com> 1601840949 -0700

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()