[Dillo-dev] 0.7.1.2

Hi there! After a failed attempt (0.7.1.1), the correct fix was released today (0.7.1.2). Once again, please upgrade, and I hope this is the final fix for the 0.7.0 problems. Cheers Jorge.-