Bug#1006186: RM: gnome-desktop3 -- RoM; duplicate source package; dak rm -S

[Jeremy Bicha]

Package: ftp.debian.org
Severity: normal
X-Debbugs-CC: gnome-desktop3 at packages.debian.org

The gnome-desktop3 source package has been renamed to gnome-desktop.
(This was done because the latest release includes both a gtk3 and
gtk4 library but eventually new releases will drop the gtk3 library.
Since that will probably happen before all Debian packages have been
moved to the gtk4 library, we will probably need to keep the latest
gtk3 version around and we can use the gnome-desktop3 source package
for it then.)

Please remove the source package only. The binary packages are now
built by gnome-desktop instead.

dak rm -S gnome-desktop3

Thank you,
Jeremy Bicha