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 ow...@b.d.o. Don Armstrong -- Never underestimate the power of human stupidity. -- Robert Heinlein http://www.donarmstrong.com http://rzlab.ucr.edu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org