Release 0.7.2 from http://gaminganywhere.org