Processing commands for cont...@bugs.debian.org: > retitle 977438 Pls. consider enabling several raspi build options Bug #977438 [src:linux] linux: Pls. consider DRM_VC4_HDMI_CEC Bug #977441 [src:linux] linux: Pls. consider CONFIG_DRM_V3D Changed Bug title to 'Pls. consider enabling several raspi build options' from 'linux: Pls. consider DRM_VC4_HDMI_CEC'. Changed Bug title to 'Pls. consider enabling several raspi build options' from 'linux: Pls. consider CONFIG_DRM_V3D'. > End of message, stopping processing here.
Please contact me if you need assistance. -- 977438: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977438 977441: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977441 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
