Bug#669324: #669324 - gnome-shell: the "restart gnome shell" command "r" crashes if used multiple times

[althaser]

Hey Miles,

this is an old bug.

I can't reproduce it here with gnome-session-3.12.1-2.

Could you please still reproduce this issue with newer gnome-session
version like 3.4.2.1-4 or 3.8.4-4 ?

cheers,
althaser