Processed: Re: Bug#774896: linux: The armmp kernel config doesn't support exynos4 / odroid hardware

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

Processing control commands:

> tag -1 -newcomer
Bug #774896 [src:linux] linux: The armmp kernel config doesn't support exynos4 / odroid hardware
Removed tag(s) newcomer.
> severity -1 wishlist
Bug #774896 [src:linux] linux: The armmp kernel config doesn't support exynos4 / odroid hardware
Severity set to 'wishlist' from 'important'

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