Minor bump to version 0.7.2

We only need a minor bump so anyone may get this update.