[18:15] <charlie__> hello, I am new to Gnome, I was using Linux Mint before hand. I have downloaded your distro but I want to upgrade to Gnome 3.10 (HiDPI support)
[18:15] <charlie__> what is the best way to do this under this distro
[18:15] <charlie__> do I need to add your PPA? or Gnome3 team PPA
[18:16] <charlie__> interested to hear your responses, at the moment I can only see this way: http://askubuntu.com/questions/358989/install-gnome-3-10-in-ubuntu-13-10-without-breaking-unity
[18:23] <roasted> if i remember right the GNOME 3ppa brings in the missing bits of 3.8
[18:23] <roasted> but the next ppa brings in 3.10