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

[Ian Jackson <ian@davenant.greenend.org.uk>]

reassign 515238 gdebi
found 515238 0.3.11debian1+nmu1
thanks

Debian Bug Tracking System writes ("Processed: reassign 515238 to gdeb, forcibly merging 515241 515238"):
> > reassign 515238 gdeb
> Bug#515238: Gdebi problems with spaces in the source to a package name
> Bug reassigned from package `gdebi' to `gdeb'.
> 
> > forcemerge 515241 515238
> Bug#515241: Gdeb problems with spaces in the source name to a package
> Bug#515238: Gdebi problems with spaces in the source to a package name
> Forcibly Merged 515238 515241.

This looks like a mistake to me.

I agree that #515241 and #515238 are the same bug.  But they both
mention `gdebi', not `gdeb'.  gdeb is a binary package generated by
gnome-apt.  gdebi is a separate source and binary package.

And indeed the bug is that in GDebiCli.py we see this:
    def install(self):
    ...
            os.system("dpkg -i %s"%self._deb.file)

Ian.