Release 0.7.2

[rafamizes]

@rultor release it; tag is 0.7.2.

[rultor]

@rultor release it; tag is 0.7.2.

@rafamizes OK, I will release it now. Please check the progress here

[rultor]

@rultor release it; tag is 0.7.2.

@rafamizes Done! FYI, the full log is here (took me 2min)