Added tag 0.7.2 for changeset 80c8b12c6332