id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	repo	theme
916	Port new vdm to Mongodb	pudo	rgrp	"We should create a port of VDM 0.9 for MongoDB to support user editing in WDMMG. 

"	enhancement	closed	awaiting triage	vdm-0.8	vdm	duplicate		rgrp