ttfn/rjk
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
This behavior has reappeared in gnome-shell 3.4.2-7; it has forgotten my
'favorites' settings several times in the last week.
