Use the provided allocator in destroy() (#4842)#4843

veselink1 wants to merge 1 commit intonlohmann:developnlohmann/json:developfrom

veselink1:developveselink1/nlohmann_json:developCopy head branch name to clipboard