Revert "Revert "0.7.2""

This reverts commit f5f3e286353bb2d857b148655885902cc8ceb1de.