[dist] release v0.7.2