Revert "7.1.2"

This reverts commit 4fc59687979412d45d9b73d3fefb9716657c151c.