Post release version bump 0.7.1 -> 0.7.2.