Processed: your mail

To: Antonio Russo <antonio.e.russo@gmail.com>
Cc: debian-kernel@lists.debian.org
Subject: Processed: your mail
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 06 Jan 2018 09:03:06 +0000
Message-id: <[🔎] handler.s.C.151522926320289.transcript@bugs.debian.org>
References: <6b3eaf29-587f-849e-64a7-c1f87bb55b3c@gmail.com>

Processing commands for control@bugs.debian.org:

> found 886366 linux/4.14.12-1
Bug #886366 [src:linux] linux-headers-4.15.0-rc5-amd64: missing tools/objtool in /lib/modules/foo/build breaks DKMS modules builds
Marked as found in versions linux/4.14.12-1.
>
End of message, 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:

Prev by Date: Processing of linux-latest_89_allonly.changes
Next by Date: Bug#886366: marked as done (linux-headers-4.15.0-rc5-amd64: missing tools/objtool in /lib/modules/foo/build breaks DKMS modules builds)
Previous by thread: Processed: your mail
Next by thread: Processed: your mail
Index(es):
- Date
- Thread