Revert "0.7.2"

This reverts commit 0d986dafe5d377cf903dee9f95165a5974de84f8.