Processing control commands: > tags 921518 -patch Bug #921518 [flash-kernel] flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family Removed tag(s) patch. -- 921518: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921518 Debian Bug Tracking System Contact owner@bugs.debian.org with problems