Processed: carnivore: DDPO still using old name

Processing commands for cont...@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

Bug#963210: qa.debian.org: DDPO still using old name

On Sat, Jun 20, 2020 at 05:07:43PM +0100, Martina Ferrari wrote: > In the past months, I have been gradually switching all my online identities > to > my new name (Martina) and uid/nick (Tina). I have changed emails, GPG keys, > and > finally my Debian LDAP uid. Hola Martina! Long time. :-) I d