You are viewing a single comment's thread from:
RE: Ubuntu 18.04 gnome shell memory leak
Workaround found on https://www.omgubuntu.co.uk/2018/03/gnome-shell-has-a-memory-leak-and-it-might-not-be-fixed-for-ubuntu-18-04-lts
Press Alt + F2
Type the letter ‘r’
Hit Enter/Return