Processed: notfound 897204 in 4.15.17-1+local, found 897204 in 4.15.17-1
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
Reply to: