[!368] [C++20] use `std::allocator_traits`
Merge branch 'gcc10' into 'master'
ref:core/dune-grid 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.
See merge request core/dune-grid!368
(cherry picked from commit c8ffa60c)
9619858c [C++20] use std::allocator_traits