Does not work with Alt+Shift either. This or very similar bug was reported at
GNOME bug tracker.
https://bugzilla.gnome.org/show_bug.cgi?id=681685
** Bug watch added: GNOME Bug Tracker #681685
https://bugzilla.gnome.org/show_bug.cgi?id=681685
--
You received this bug notification because you
Public bug reported:
GLFW 3 is out. Time to package it?
** Affects: glfw (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1202210
Title:
Packa
The true solution of this bug would be to scrap 32-bit Ubuntu
altogether.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1173527
Title:
make the i386 *buntu version check for UEFI
To manage notifica
** Package changed: debian-installer (Ubuntu) => ubiquity
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1154026
Title:
Wrong time zone highlighting on map for all russian time zones
To manage notif