Changes

Summary

1. Add VDM2C 0.1.12 release notes (commit: 72431c0) (details)
2. Prepare release of VDM2C 0.1.12 (commit: ea79879) (details)

Commit 72431c0052c2246e41217d242dc9c4d6801fc336 by Peter W. V. Tran-Jørgensen Add VDM2C 0.1.12 release notes (commit: 72431c0)
	release/ReleaseNotes_0.1.12.md
Commit ea7987950becfeb3a2f024590e38cbcc948095b6 by Peter W. V. Tran-Jørgensen Prepare release of VDM2C 0.1.12 (commit: ea79879)
	overture.release.properties (diff)