Merge branch 'en/mem-pool'
authorJunio C Hamano <gitster@pobox.com>
Thu, 27 Aug 2020 21:04:48 +0000 (14:04 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 27 Aug 2020 21:04:48 +0000 (14:04 -0700)
commitedab8a8d07eff5771ad08e7d2935f5df992c2c45
tree3f1719a2ace7c9accb3fc883f7167dcfce2844b8
parente9b77c84a0a0df029f2a3a8114e9f22186e7da24
parentf87bf28483ae6db32b3ac246ff7081d64a608327
Merge branch 'en/mem-pool'

API update.

* en/mem-pool:
  mem-pool: use consistent pool variable name
  mem-pool: use more standard initialization and finalization
  mem-pool: add convenience functions for strdup and strndup