Re: Raar probleem met Gnome in Jessie

2015-01-29 Thread Thijs Kinkhorst
On Wed, January 28, 2015 23:35, Paul van der Vlis wrote: > Op 28-01-15 om 12:08 schreef Paul van der Vlis: >> Op 28-01-15 om 10:02 schreef Geert Stappers: >>> On Tue, Jan 27, 2015 at 02:46:43PM +0100, Paul van der Vlis wrote: Hoi, Ik zie iets raars in Jessie in "Gnome Classic".

Re: Raar probleem met Gnome in Jessie

2015-01-29 Thread Paul van der Vlis
Op 29-01-15 om 15:58 schreef Thijs Kinkhorst: > Ik vrees dat dat te laat is. De deadline voor vertalingsupdates is > inmiddels gepasseerd en alhoewel inderdaad wat onhandig, is het geen > "release critical" bug. Het release team kan uitzonderingen maken, en anders zou de fout in versie 8.1 verhol

Re: Re: Raar probleem met Gnome in Jessie

2015-01-29 Thread Frans Spiesschaert
Dag Paul, Paul van der Vlis schreef: > Het lijkt me nu dat het probleem > in het pakket gnome-menus zit: > https://packages.debian.org/jessie/gnome-menus Ik heb het source-pakket van gnome-menus eens bekeken, maar ik heb niet de indruk dat het probleem daar te situeren valt. En zelf ken ik onvo