Processing commands for control@bugs.debian.org: > close 777712 3.1.17 Bug #777712 [debian-cd] i386 kernel list out of date Marked as fixed in versions debian-cd/3.1.17. Bug #777712 [debian-cd] i386 kernel list out of date Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 777712: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=777712 Debian Bug Tracking System Contact owner@bugs.debian.org with problems