upgrade pomelo to 0.7.2

Change-Id: I4dcaed8c872ae5942554ec09b9fd57d45fa6a034