Processing commands for cont...@bugs.debian.org: > unmerge 977438 Bug #977438 [src:linux] Pls. consider enabling several raspi build options Bug #977441 [src:linux] Pls. consider enabling several raspi build options Disconnected #977438 from all other report(s). > unmerge 977441 Bug #977441 [src:linux] Pls. consider enabling several raspi build options Ignoring request to unmerge a bug which is not merged with any others. > retitle 977438 Pls. consider CONFIG_DRM_VC4_HDMI_CEC Bug #977438 [src:linux] Pls. consider enabling several raspi build options Changed Bug title to 'Pls. consider CONFIG_DRM_VC4_HDMI_CEC' from 'Pls. consider enabling several raspi build options'. > retitle 977441 Pls. consider CONFIG_DRM_V3D Bug #977441 [src:linux] Pls. consider enabling several raspi build options Changed Bug title to 'Pls. consider CONFIG_DRM_V3D' from 'Pls. consider enabling several raspi build options'. > quit 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
