Processing commands for [email protected]:

> 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
No longer marked as found in versions linux/4.15.17-1+local.
> found 897204 4.15.17
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' do not appear to match any binary 
packages
Marked as found in versions linux/4.15.17.
> 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 [email protected] with problems

Reply via email to