reftable: do make sure to use custom allocators, if any#1874

dscho wants to merge 1 commit intogitgitgadget:mastergitgitgadget/git:masterfrom

dscho:reftable-vs-custom-allocatorsdscho/git:reftable-vs-custom-allocatorsCopy head branch name to clipboard