Processing commands for control@bugs.debian.org:

close 773172

Bug #773172 [src:linux] linux: Easier PCI Stub support with CONFIG_PCI_STUB=y Marked Bug as done

thanks

Stopping processing here.

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

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