The leak covered by the upstream bug gnome-shell#653 is fixed in mutter version 3.30.2. So the fix is already in Ubuntu 19.04 and is in proposed for 18.10.
The leak covered by the upstream bug gnome-shell#653 is fixed in mutter version 3.30.2. So the fix is already in Ubuntu 19.04 and is in proposed for 18.10.