Release v1.7.2

The number-y changes needed to tag v1.7.2.