Release 2.7.2; see changelog for details.