Processing commands for control@bugs.debian.org: > close 735092 Bug #735092 [flash-kernel] flash-kernel: add Raspberry Pi support Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 735092: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735092 Debian Bug Tracking System Contact owner@bugs.debian.org with problems