[12:32] <muelli> can I somehow get hold of Evolution 3.20? It fixes an annoying bug.
[12:38] <jbicha> which bug?
[12:38] <muelli> https://bugzilla.gnome.org/show_bug.cgi?id=763897
[12:44] <jbicha> ok, the Evolution developer says that this fix won't be supported for Evolution 3.18
[12:44] <jbicha> you could try the GNOME3 Staging PPA, but that updates your whole computer to GNOME 3.20
[12:45] <jbicha> it's more or less a beta preview of the next Ubuntu GNOME release
[12:45] <muelli> jbicha: how could I pin that repository to a lower priority?
[12:46] <muelli> I've added the PPA now, but I want to give its packages less priority.  I could add smth like Pin: release n=... Pin-Prioritity: 400,  but I don't know how to find out what the "Release" is.
[12:50] <jbicha> http://askubuntu.com/q/96587/1579
[12:51] <jbicha> but it's too complicated for the Ubuntu GNOME developers to support users trying to use only certain parts of the GNOME3 PPAs
[12:52] <muelli> jbicha: ah. apt-cache policy (without arguments) shows the release n and o values.
[12:53] <muelli> (for the archives:  release v=16.04,o=LP-PPA-gnome3-team-gnome3-staging,a=xenial,n=xenial,l=GNOME3 Staging,c=main,b=i386)
[12:53] <muelli> jbicha: fair enough. If it's properly packaged then all dependencies should be resolved properly ;-)
[12:54] <jbicha> well as an example, many GNOME 3.20 apps require GTK 3.20 but once you have GTK 3.20, you need your apps and themes to be updated for that (major theming changes this release)
[12:55] <jbicha> we did not add breaks to gtk3.20 for all affected packages
[13:22] <muelli> FWIW: It looks as if Evolution 3.20.3 works on my otherwise regular Ubuntu GNOME system :)