Processed: notfound 717383 in 3.10.3-1, fixed 717383 in 3.10.3-1
Processing commands for control@bugs.debian.org:
> # It may be buggy but it *is* now a module as requested
> notfound 717383 3.10.3-1
Bug #717383 {Done: Ben Hutchings <ben@decadent.org.uk>} [src:linux] CONFIG_INTEL_MEI and CONFIG_INTEL_MEI_ME should be modules, not built in
No longer marked as found in versions linux/3.10.3-1.
> fixed 717383 3.10.3-1
Bug #717383 {Done: Ben Hutchings <ben@decadent.org.uk>} [src:linux] CONFIG_INTEL_MEI and CONFIG_INTEL_MEI_ME should be modules, not built in
Marked as fixed in versions linux/3.10.3-1.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
717383: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717383
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: