std::allocator should use sized delete

[Marc Glisse]

On Fri, 7 Jun 2019, Victor via libstdc++ wrote:

> C++14 introduced function ::operator delete(void * , size_t ) but libstdc++ 
> std::allocator::deallocate() still uses the unsized version.

What file did you check in what version? It does use the sized version 
here.

-- 
Marc Glisse