std::allocator should use sized delete

[Victor via libstdc++]

On Fri, 7 Jun 2019 09:49:13 +0200 (CEST)
  Marc Glisse <marc.glisse@inria.fr> wrote:
> On Fri, 7 Jun 2019, Victor via libstdc++ wrote:
> 
> 
> Please check the repository
> 
> https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=libstdc%2B%2B-v3/include/ext/new_allocator.h;h=ee699532c6a2bc32bef827a9ecccbea15edfe579;hb=HEAD#l123
> 
> -- 
> Marc Glisse

There is no actual release with this change at the moment.

https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=libstdc%2B%2B-v3/include/ext/new_allocator.h;h=e24539100f9e9885cf0d590a8801740c9fa521f6;hb=refs/heads/gcc-9-branch

Any plans to backport this to gcc-9-branch?