Carlos Laviola <claviola@debian.org> writes: > -newmaint-discuss is probably better. Dead list according to lists.debian.org -- bye Joerg A.D. 1492: Christopher Columbus arrives in what he believes to be India, but which RMS informs him is actually GNU/India.