Update docs for release 1.7.2