Change History for ReleaseNotes/0.7.2

Version Date Author Comment
1 6 years Jakub Jermář Create release notes for 0.7.2