On Mon, 2017-04-10 at 09:49 +0200, Ralf Mardorf wrote: > > I checked "Other Software", but the only thing there were PPAs that I > > personally added. What are those third party repositories?