Processed: your mail

To: Paolo Inaudi <p91paul@gmail.com>
Cc: debian-boot@lists.debian.org
Subject: Processed: your mail
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 09 Aug 2013 10:39:11 +0000
Message-id: <[🔎] handler.s.C.137604469926059.transcript@bugs.debian.org>
References: <5204C690.3010009@gmail.com>

Processing commands for control@bugs.debian.org:

> unarchive 712696
Bug #712696 {Done: Ben Hutchings <ben@decadent.org.uk>} [debian-installer] debian-installer: Add Cinnamon and Mate as alternative DEs.
Unarchived Bug 712696
> reopen 712696
Bug #712696 {Done: Ben Hutchings <ben@decadent.org.uk>} [debian-installer] debian-installer: Add Cinnamon and Mate as alternative DEs.
Bug reopened
Ignoring request to alter fixed versions of bug #712696 to the same values previously set
>
End of message, stopping processing here.

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

Reply to:

Prev by Date: Debian installer build: failed or old builds
Next by Date: Bug#712696: debian-installer: Add Cinnamon and Mate as alternative DEs.
Previous by thread: Bug#719101: netcfg: provide a clean way to change default hostname (for derivatives)
Next by thread: Processed: your mail
Index(es):
- Date
- Thread