Release preparations for 2.7.2. The version released as 2.7.1 does not have an associated commit in git due to a release messup.