[Dillo-dev] 0.7.2 Release