gnome-shell-extensions-panel-workspaces (3.2.001oneiric-1ubuntu1) oneiric; urgency=low * Panel Workspaces switcher -- yunn Cortes <email address hidden> Thu, 15 Mar 2012 20:34:17 +0100