Processed: Re: Bug#921518: flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family

To: Vagrant Cascadian <vagrant@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#921518: flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 04 Mar 2019 02:18:04 +0000
Message-id: <[🔎] handler.s.B921518.155166568811100.transcript@bugs.debian.org>
References: <[🔎] 87ef7n9yi6.fsf@ponder> <20190206124523.gc32rhb4spprrue4@deutnet.info>

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

Reply to:

References:
- Bug#921518: flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family
  - From: Vagrant Cascadian <vagrant@debian.org>

Prev by Date: Bug#921518: flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family
Next by Date: Processing of arcboot-installer_1.37_source.changes
Previous by thread: Bug#921518: flash-kernel: [PATCHv2] Adding-definition-of-Raspberry-Pi-Family
Next by thread: Processing of arcboot-installer_1.37_source.changes
Index(es):
- Date
- Thread