Processing commands for cont...@bugs.debian.org: > close 886417 4.9.80-1 Bug #886417 [linux-source-4.9] linux-source-4.9: Kernel sources do not compile Marked as fixed in versions linux/4.9.80-1. Bug #886417 [linux-source-4.9] linux-source-4.9: Kernel sources do not compile Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 886417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886417 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems