Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.kernel > #68884
| From | "Debian Bug Tracking System" <owner@bugs.debian.org> |
|---|---|
| Newsgroups | linux.debian.kernel |
| Subject | Processed: your mail |
| Date | 2020-12-16 21:10 +0100 |
| Message-ID | <BmLhw-1TI-11@gated-at.bofh.it> (permalink) |
| References | <BmLhw-1TI-13@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
Processing commands for control@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 owner@bugs.debian.org with problems
Back to linux.debian.kernel | Previous | Next | Find similar | Unroll thread
Processed: your mail "Debian Bug Tracking System" <owner@bugs.debian.org> - 2020-12-16 21:10 +0100
csiph-web