release 0.7.2 (based on 0.7.1-19-ge682e74)