id	summary	owner	type	priority	version	resolution
5817	dph-diophantine-copy-opt fails	benl	bug	normal	7.5	fixed