------- Comment #3 from debian-gcc at lists dot debian dot org 2008-02-05 15:01 ------- reconfirmed with 20080202: http://buildd.debian.org/fetch.cgi?&pkg=gcj-4.3&ver=4.3-20080202-1&arch=alpha&stamp=1202180571&file=log
Matthias -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33263
