Processed: found 886366 in 4.14.12-1
Processing commands for control@bugs.debian.org:
> found 886366 4.14.12-1
Bug #886366 {Done: Salvatore Bonaccorso <carnil@debian.org>} [src:linux] linux-headers-4.15.0-rc5-amd64: missing tools/objtool in /lib/modules/foo/build breaks DKMS modules builds
Ignoring request to alter found versions of bug #886366 to the same values previously set
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
886366: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886366
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: