Change History for ReleaseNotes/0.7.2

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