Hi all anonymous CVS (and thus ViewCVS, snapshots, CVS stats, ...) for us is not working since about friday, see: https://sourceforge.net/tracker/?func=detail&atid=200001&aid=1162576&group_id=1 -- Michal Čihař | http://cihar.com