ccnmtl/dmt — pull request #87 by thraxil (2014-07-17 17:01:32+00:00)
Title: delete milestone

only empty milestones can be deleted. (otherwise, we'd have to figure
out what to do with the items in the milestone, since we don't like to
lose history)