[Dillo-dev] 0.7.1 release

Hi! The new 0.7.1 bugfix release is out. It solves the problem of disappearing bookmarks and some other minor things. It works on 64bit machines and some problems remain on _some_ Solaris stations; these should be fixed in 0.7.2. Please upgrade ASAP!!! Cheers Jorge.- PS: I want to thank the few people who helped to debug it and sent some feedback.