Processed: carnivore: DDPO still using old name

To: Raúl Benencia <id@rbenencia.name>
Cc: debian-qa@lists.debian.org
Subject: Processed: carnivore: DDPO still using old name
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 03 Apr 2021 00:03:02 +0000
Message-id: <[🔎] handler.s.C.161740804122917.transcript@bugs.debian.org>
References: <20210402235045.bl4ypmtmnr62tyd2@rbenencia.name>

Processing commands for control@bugs.debian.org:

> retitle 963210 carnivore: DDPO still using old name
Bug #963210 [qa.debian.org] qa.debian.org: DDPO still using old name
Changed Bug title to 'carnivore: DDPO still using old name' from 'qa.debian.org: DDPO still using old name'.
>
End of message, stopping processing here.

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

Reply to:

Prev by Date: Bug#963210: qa.debian.org: DDPO still using old name
Next by Date: Processed: patch carnivore: DDPO still using old name
Previous by thread: Bug#963210: qa.debian.org: DDPO still using old name
Next by thread: Processed: patch carnivore: DDPO still using old name
Index(es):
- Date
- Thread