[dist] Version bump. 0.7.2