1. 5680d0c Merged revisions 62246-62259 via svnmerge from by Martin v. Löwis · 16 years ago