Bug#516566: gnome-icon-theme: 516566: move it to desktop-base

[Fabian Greffrath]

Josselin Mouette schrieb:
> I don’t know whether the fallback mechanism will work as expected.
> Instead, I think the safe route is to use diversions.

Alright. So the branding will be removed as soon as desktop-base is 
removed? Or maybe another package, debian-brading, should be 
introduced (maybe even from the desktop-base source) that also 
contains branded splash screens for e.g. gimp, ooo, etc. I think a 
similar approach has once been presented on planet.d.o.

-- 
Dipl.-Phys. Fabian Greffrath

Ruhr-Universität Bochum
Lehrstuhl für Energieanlagen und Energieprozesstechnik (LEAT)
Universitätsstr. 150, IB 3/134
D-44780 Bochum

Telefon: +49 (0)234 / 32-26334
Fax:     +49 (0)234 / 32-14227
E-Mail:  greffrath at leat.ruhr-uni-bochum.de