This section contains a each bug that has been fixed in VDM along with the version number found and fixed in.