Release notes final for 0.7.5.