Commit 9deadaee44dfc1d0e3c49b058e023df396096789

Edward Thomson 2020-10-07T00:35:29

Merge pull request #5654 from dan-tull/master Change bare free to allocator free (fixes #5653)