Processed: Re: Processed: reassign 515238 to gdeb, forcibly merging 515241 515238

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

Processing commands for control@bugs.debian.org:

> reassign 515238 gdebi
Bug#515238: Gdebi problems with spaces in the source to a package name
Bug#515241: Gdeb problems with spaces in the source name to a package
Bug reassigned from package `gdeb' to `gdebi'.

> found 515238 0.3.11debian1+nmu1
Bug#515238: Gdebi problems with spaces in the source to a package name
Bug#515241: Gdeb problems with spaces in the source name to a package
Bug marked as found in version 0.3.11debian1+nmu1.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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