[08:22] <muelli> funny, I've just received this: "The problem cannot be reported: The GNOME3 PPA you are using is no longer supported for this Ubuntu release. Please  use ppa-purge to remove the PPA.".  That surprises me.
[09:47] <jbicha> muelli: we announced End of Life on the mailing list and in the PPA description https://launchpad.net/~gnome3-team/+archive/ubuntu/gnome3-staging/
[09:48] <muelli> Fair enough. I just didn't expect that from the "LTS" version, I guess.
[09:56] <jbicha> muelli: we don't have any developers using that release with the PPA and the PPA requires regular maintenance
[09:57] <jbicha> for instance because of breaking changes introduced in GTK+ 3.20, webkit2gtk needs to be rebuilt every time there is a webkit2gtk security update and those are pretty frequent
[09:57] <jbicha> otherwise there are theming bugs in webkit2gtk apps like evolution and yelp
[09:58] <jbicha> basically, you can choose between a stable Long Term Support release or the newest GNOME
[09:59] <muelli> jbicha: Ah. And do I have "newest GNOME"? I thought I'd have "stable Long Term Support".
[10:00] <jbicha> muelli: that's why you need to ppa-purge the GNOME3 PPAs :)
[10:01] <muelli> jbicha: so I have (or had) "newest GNOME"? -.-
[10:02] <jbicha> yes, isn't that the reason you installed the PPAs? but now 3.20 is getting older (17.04 has 3.24!)
[10:03] <muelli> jbicha: I installed "Ubuntu GNOME" from the ISO.
[10:05] <jbicha> and at some point you enabled the GNOME3 PPAs, they are not installed by default
[10:05] <muelli> oh, I did. Okay. May have been. I don't remember
[13:03] <muelli> how would I best backport an app? Say from artful to xenial.  I'm hoping for something very easy that involves little to no fiddling around with packaging.  Ideally some button in the PPA Web interface or so...