bump version
Added tag 0.7.2 for changeset 12bfbc913e0d