tree a56cef7af613da7a05e7971be0615ba0300ed5f1
parent 4cd9bb45c7f749d1b752d94166805d47fbffdece
parent 757c2ba3e2b2b9ce2d3812cdf132dc08b901195b
author Junio C Hamano <gitster@pobox.com> 1585169864 -0700
committer Junio C Hamano <gitster@pobox.com> 1585169864 -0700

Merge branch 'en/oidset-uninclude-hashmap'

Code clean-up.

* en/oidset-uninclude-hashmap:
  oidset: remove unnecessary include