Skip to content

[C++20] use `std::allocator_traits`

Ansgar Burchardt requested to merge ansgar/dune-grid:gcc10 into master

Several members of std::allocator were already deprecated in C++17 and have now been removed in C++20. This patch uses the appropriate members of std::allocator_traits instead.

Merge request reports