[gcc r15-1537] libstdc++: Undeprecate std::pmr::polymorphic_allocator::destroy (P2875R4)

[Jonathan Wakely]

https://gcc.gnu.org/g:c3e237338eb7ffc90f3cc8d32a3971d17f6d0b31

commit r15-1537-gc3e237338eb7ffc90f3cc8d32a3971d17f6d0b31
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Tue Jun 18 16:09:08 2024 +0100

    libstdc++: Undeprecate std::pmr::polymorphic_allocator::destroy (P2875R4)
    
    This member function was previously deprecated, but that was reverted by
    P2875R4, approved earlier this year in Tokyo. Since it's not going to be
    deprecated in C++26, and so presumably not removed, there is no point in
    giving deprecated warnings for C++23 mode.
    
    libstdc++-v3/ChangeLog:
    
            * include/bits/memory_resource.h (polymorphic_allocator::destroy):
            Remove deprecated attribute.

Diff:
---
 libstdc++-v3/include/bits/memory_resource.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libstdc++-v3/include/bits/memory_resource.h b/libstdc++-v3/include/bits/memory_resource.h
index 022371245c1..5f50b296df7 100644
--- a/libstdc++-v3/include/bits/memory_resource.h
+++ b/libstdc++-v3/include/bits/memory_resource.h
@@ -305,7 +305,6 @@ namespace pmr
 #endif
 
       template<typename _Up>
-	_GLIBCXX20_DEPRECATED_SUGGEST("allocator_traits::destroy")
 	__attribute__((__nonnull__))
 	void
 	destroy(_Up* __p)