v0.7.2
2be77a02 · release: update version numbers for 0.7.2 ·