Re: gnome shell crashes after ~1m

[Thomas Danckaert]

Hi Luis,

thanks, upgrading my user profile solved it for me, too.  (Actually I 
thought I'd already done that, but apparently I must have lost my 
patience during a large texlive download, and aborted the first 
upgrade)

Sincerely,

Thomas