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,,