Processed: Re: Bug#486317: xterm: missing .desktop files

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

Processing commands for control@bugs.debian.org:

> reopen 486317 !
Bug#486317: xterm: missing .desktop files
Bug reopened, originator set to Luca Capello <luca@pca.it>.

> found 486317 243-1
Bug#486317: xterm: missing .desktop files
Bug marked as found in version 243-1.

> tags 486317 + patch
Bug#486317: xterm: missing .desktop files
There were no tags set.
Tags added: patch

> user pkg-fso-maint@lists.alioth.debian.org
Setting user to pkg-fso-maint@lists.alioth.debian.org (was luca@pca.it).
> usertags 486317 + xdg-menu
Bug#486317: xterm: missing .desktop files
There were no usertags set.
Usertags are now: xdg-menu.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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