Bug#702281: Patch

On 09/03/2013 11:05, Nicolas Bourdaud wrote: > Also I have added your patch to the package in preparation, and > uploaded to mentors a version with it: > http://mentors.debian.net/debian/pool/main/c/cinnamon/cinnamon_1.7.2-1.dsc Well it seems that mentors.debian.net has some issues today. It

Bug#702281: Patch

Thanks Stephan for the patch. From what I understand, it seems that both of you (Stephan and Vincent) have previously gconf settings in subpath of /desktop/gnome/keybindings in addition to the default one set by muffin-common package (/desktop/gnome/keybindings/custom0/{name|action|binding

Bug#702281: Patch

Hi, fwiw, I guess this --- root@debian:~# diff -u /usr/lib/cinnamon-settings/modules/cs_keyboard.py.orig /usr/lib/cinnamon-settings/modules/cs_keyboard.py --- /usr/lib/cinnamon-settings/modules/cs_keyboard.py.orig 2013-03-07 14:48:10.897291292 +0100 +++ /usr/lib/cinnamon-settings/modules/