Processed: notfound 897204 in 4.15.17-1+local, found 897204 in 4.15.17-1

From	"Debian Bug Tracking System" <owner@bugs.debian.org>
Newsgroups	linux.debian.kernel
Subject	Processed: notfound 897204 in 4.15.17-1+local, found 897204 in 4.15.17-1
Date	2018-04-30 06:30 +0200
Message-ID	<vK8BQ-7lu-13@gated-at.bofh.it> (permalink)
References	<vK8BQ-7lu-15@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

Processing commands for control@bugs.debian.org:

> notfound 897204 4.15.17-1+local
Bug #897204 [src:linux] linux-image-4.15.0-3-armmp: Please enable CONFIG_DRM_DW_HDMI_AHB_AUDIO=m and CONFIG_DRM_DW_HDMI_CEC=m
The source 'linux' and version '4.15.17-1+local' do not appear to match any binary packages
Ignoring request to alter found versions of bug #897204 to the same values previously set
> found 897204 4.15.17-1
Bug #897204 [src:linux] linux-image-4.15.0-3-armmp: Please enable CONFIG_DRM_DW_HDMI_AHB_AUDIO=m and CONFIG_DRM_DW_HDMI_CEC=m
Marked as found in versions linux/4.15.17-1.
> thanks
Stopping processing here.

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

Back to linux.debian.kernel | Previous | Next | Find similar | Unroll thread

Thread

Processed: notfound 897204 in 4.15.17-1+local, found 897204 in  4.15.17-1 "Debian Bug Tracking System" <owner@bugs.debian.org> - 2018-04-30 06:30 +0200

csiph-web