Bug#591337: gnome-shell: Settings not able to be read after upgrade to 2.31.5-2

[Jonathon Jongsma]

On Sat, 2012-02-04 at 00:33 +0100, Michael Biebl wrote:
> Hi,
> 
> this bug report was against a very old version of gnome-shell.
> 
> Could you please try to reproduce the issue with gnome-shell 3.2 from
> testing/sid.
> 
> Thanks,
> Michael

Indeed.  I had forgotten about opening this bug, but it has been fixed
for me for quite some time now.