Processed: Re: Bug#165918: Lack of symlink from gnome-terminal.wrapper -> /usr/share/man/man7/undocumented.7.gz

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reopen 165918
Bug#165918: Lack of symlink from gnome-terminal.wrapper -> /usr/share/man/man7/undocumented.7.gz
Bug reopened, originator not changed.

> reassign 165918 dpkg
Bug#165918: Lack of symlink from gnome-terminal.wrapper -> /usr/share/man/man7/undocumented.7.gz
Bug reassigned from package `gnome-terminal' to `dpkg'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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