tree ebda6b3cc595d18e7a16cceb24a81d43097cb222
parent b1391e0625dceeca5cc81367c64a950c201c9488
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1637944738 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1637975139 +0100

Fix C++20 compilation

Several std::allocator<> members were deprecated in C++17 and
subsequently removed in C++20. Drop deprecated members altogether since
these are unused anyway.

Change-Id: Ic26471a4b1cb3ccc1fdf3231400c81827b0ff712