Thanks for your answer,
as gnome-shell is installed via gnome3-team ppa, it might itself propose this font or at least tell users to add your ugr ppa too.
Thanks for your answer,
as gnome-shell is installed via gnome3-team ppa, it might itself propose this font or at least tell users to add your ugr ppa too.