Revert "Revert "Revert "0.7.2"""

This reverts commit ee1aaf72f6fb44abccdee2e5266bb98cb7b6034b.