Merge branch "release-0.7.1" into "develop" Summary of the merged in commits: * 44ecd10b: Add exercises for chapter 10