Processed: retitle 768221 to O: grub-choose-default -- Control Grub Default through a GUI

To: Bart Martens <bartm@master.debian.org>
Cc: wnpp@debian.org
Subject: Processed: retitle 768221 to O: grub-choose-default -- Control Grub Default through a GUI
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 12 Aug 2016 06:57:10 +0000
Message-id: <[🔎] handler.s.C.147098492819667.transcript@bugs.debian.org>
References: <E1bY6NK-0005W2-Lr@master.debian.org>

Processing commands for control@bugs.debian.org:

> retitle 768221 O: grub-choose-default -- Control Grub Default through a GUI
Bug #768221 [wnpp] ITA: grub-choose-default -- Control Grub Default through a GUI
Changed Bug title to 'O: grub-choose-default -- Control Grub Default through a GUI' from 'ITA: grub-choose-default -- Control Grub Default through a GUI'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
768221: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768221
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: bug 768221 has no owner
Next by Date: Processed: retitle 779565 to O: bamf -- Window matching library
Previous by thread: Processed: bug 768221 has no owner
Next by thread: Processed: retitle 779565 to O: bamf -- Window matching library
Index(es):
- Date
- Thread