[Dillo-dev] Re: Dillo-0.7.2 release.