Re: [arch-general] gnome-shell-extension-dock broke with gnome 3.2.0-1 update