Processed: reopening 897204, found 897204 in 4.15.17-1, tagging 897204
Processing commands for control@bugs.debian.org:
> reopen 897204
Bug #897204 {Done: romain.perier@gmail.com} [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
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions linux/4.16.5-2.
> 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
Ignoring request to alter found versions of bug #897204 to the same values previously set
> tags 897204 + pending
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
Added tag(s) pending.
> 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: