On 09/23/2016 01:23 PM, Andre Robatino wrote:
I don't know if it's normal, but I've gotten into the
habit of checking periodically and restarting gnome shell with "Alt-F2 r" if
it's high. I do this maybe once a day.
If you have to restart Gnome Shell daily, there's something wrong,
either with your system or Gnome Shell itself.