id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	revision
631	Lemon c++20 compatibility patch	Alpar Juttner	Alpar Juttner	"From Kevin Tew:

This feature was remove in c++20.
https://en.cppreference.com/w/cpp/memory/allocator/destroy
replace with
https://en.cppreference.com/w/cpp/memory/allocator_traits/destroy

"	defect	new	major	LEMON 1.4 release	core	hg main			tew@…