Processing control commands: > tag -1 moreinfo Bug #717698 [src:linux] linux-image-3.10-1-amd64: kernel does not boot Added tag(s) moreinfo. -- 717698: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717698 Debian Bug Tracking System Contact owner@bugs.debian.org with problems