Processing commands for control@bugs.debian.org:

close 774896

Bug #774896 [src:linux] linux: The armmp kernel config doesn't support exynos4 / odroid hardware
Marked Bug as done

thanks

Stopping processing here.

Please contact me if you need assistance.
--
774896: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774896
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)