Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.kernel > #68884

Processed: your mail

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

Show all headers | View raw


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


Thread

Processed: your mail "Debian Bug Tracking System" <owner@bugs.debian.org> - 2020-12-16 21:10 +0100

csiph-web