Revert gnome-shell version
You have to use ppa-purge utility to revert GNOME Shell version by the following commands:
sudo apt-get install ppa-purge
sudo ppa-purge ppa:shemgp/gnome-40
and then reboot.
Revert gnome-shell version
You have to use ppa-purge utility to revert GNOME Shell version by the following commands:
sudo apt-get install ppa-purge
sudo ppa-purge ppa:shemgp/gnome-40
and then reboot.