portsurvey log for http://www.tim-mann.org

> http://www.tim-mann.org/xboard/xboard-4.2.7.tar.gz ok