PS: yes, I confirm that this bug is fixed with the version 3.8: https://git.gnome.org/browse/gnome-session/tree/gnome-session/main.c?id=3.8.2.1#n360
PS: yes, I confirm that this bug is fixed with the version 3.8: https:/ /git.gnome. org/browse/ gnome-session/ tree/gnome- session/ main.c? id=3.8. 2.1#n360