I believe the memory leak still exists. It is now 1.3 GB in size. I was reporting the size given by system monitor in the processes tab, which appears to be physical memory. I don't know the best way of getting all the data, so here is the relevant data about memory size from what I got using ps aux | grep "gnome-shell"
USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND
ryan-li+ 2531 4.3 8.8 5815292 1445944 ? Ssl 01:02 32:02 /usr/bin/gnome-shell
I believe the memory leak still exists. It is now 1.3 GB in size. I was reporting the size given by system monitor in the processes tab, which appears to be physical memory. I don't know the best way of getting all the data, so here is the relevant data about memory size from what I got using ps aux | grep "gnome-shell"
USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND gnome-shell
ryan-li+ 2531 4.3 8.8 5815292 1445944 ? Ssl 01:02 32:02 /usr/bin/