gatopeich ddf0a45abb Use AllocatorType<ObjectType::value_type>, ... instead of hard-coding it for std::map's value_type		2020-06-22 18:35:46 +01:00
..
nlohmann	Use AllocatorType<ObjectType::value_type>,	2020-06-22 18:35:46 +01:00