Processed: Re: flash-kernel: Patch for Raspberry Pi 2 support

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> found -1 3.35
Bug #872601 [flash-kernel] flash-kernel: Patch for Raspberry Pi 2 support
Marked as found in versions flash-kernel/3.35.
> notfound -1 3.79
Bug #872601 [flash-kernel] flash-kernel: Patch for Raspberry Pi 2 support
Ignoring request to alter found versions of bug #872601 to the same values previously set
> close -1
Bug #872601 [flash-kernel] flash-kernel: Patch for Raspberry Pi 2 support
Marked Bug as done

-- 
872601: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872601
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems