|
From: | Thomas Danckaert |
Subject: | Re: gnome shell crashes after ~1m |
Date: | Thu, 14 Jul 2022 13:30:32 +0200 (CEST) |
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
[Prev in Thread] | Current Thread | [Next in Thread] |