Bug#696790: gnome-shell fails to start with JS error

[althaser]

Hey,

Could you please still reproduce this issue with newer gnome-shell version
like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?

thanks
regards
althaser