On Sun, 15 Feb 2009, Ian Jackson wrote:
> 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.
Could be. I didn't do any research, and was just following what the
submitter told [email protected].
Don Armstrong
--
Never underestimate the power of human stupidity.
-- Robert Heinlein
http://www.donarmstrong.com http://rzlab.ucr.edu
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
