Bug#624606: gnome-shell forgets favorites

[intrigeri]

Control: fixed -1 3.16.3-1

Hi Richard,

Richard Kettlewell wrote (24 Jul 2013 19:00:01 GMT) :
> On 19/05/13 15:12, Richard Kettlewell wrote:
>> This behavior has reappeared in gnome-shell 3.4.2-7; it has forgotten my
>> 'favorites' settings several times in the last week.

> I think I've found the pattern.  If the system is rebooted (for instance, via 'sudo
> reboot') while gnome-shell is running, it discards 'favorites' and starts again with
> the default set next time you log in.

I can't reproduce this on current sid, thus marking this bug as fixed
on that version. Can you still reproduce it on Jessie or newer?

Cheers,
--
intrigeri