update tags pre-release of 1.7.2 devel