On 2018-08-05 20:27, Jon Degenhardt wrote: > Thanks for tip, I hadn't seen that. I tried switching my build to use > it. It upgrades some installed packages, but Ubuntu remains at 14.04. Hmm, that's unfortunate. -- /Jacob Carlborg