New version: 0.7.2

Change-Id: Idf110a1fda7593374287dc361df75781c7b59afc