Processed: Re: Bug#712696: marked as done (debian-installer: Add Cinnamon and Mate as alternative DEs.)
Processing commands for control@bugs.debian.org:
> clone #712696 -1
Bug #712696 {Done: Joey Hess <joeyh@debian.org>} [src:tasksel] debian-installer: Add Cinnamon and Mate as alternative DEs.
Bug 712696 cloned as bug 761014
> reopen -1
Bug #761014 {Done: Joey Hess <joeyh@debian.org>} [src:tasksel] debian-installer: Add Cinnamon and Mate as alternative DEs.
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions tasksel/3.22.
> retitle #712696 Add task for Cinnamon desktop environment
Bug #712696 {Done: Joey Hess <joeyh@debian.org>} [src:tasksel] debian-installer: Add Cinnamon and Mate as alternative DEs.
Changed Bug title to 'Add task for Cinnamon desktop environment' from 'debian-installer: Add Cinnamon and Mate as alternative DEs.'
> retitle -1 Add task for MATE desktop environment
Bug #761014 [src:tasksel] debian-installer: Add Cinnamon and Mate as alternative DEs.
Changed Bug title to 'Add task for MATE desktop environment' from 'debian-installer: Add Cinnamon and Mate as alternative DEs.'
> tag -1 patch
Bug #761014 [src:tasksel] Add task for MATE desktop environment
Added tag(s) patch.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
712696: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712696
761014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=761014
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: