[release] MirrorManager2: 0.7.2