[Pkg-gnupg-maint] Processed: bug 553175 is forwarded to https://bugs.g10code.com/gnupg/issue1172 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 553175 https://bugs.g10code.com/gnupg/issue1172
Bug #553175 [gnupg] gnupg: should document the --edit-key primary uid display format
Set Bug forwarded-to-address to 'https://bugs.g10code.com/gnupg/issue1172'.
> retitle 553175 [gnupg/1172] gnupg: should document the --edit-key primary uid display format
Bug #553175 [gnupg] gnupg: should document the --edit-key primary uid display format
Changed Bug title to '[gnupg/1172] gnupg: should document the --edit-key primary uid display format' from 'gnupg: should document the --edit-key primary uid display format'
>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)