Update version number to 0.7.2.
Review URL: https://codereview.appspot.com/5683055
1 file changed
tree: 5946003c7ce3858fc67c12f7e570d5e586e82d6c
  1. src/