Skip to content

Remove Mantic from PPA#7296

Merged
rubo merged 3 commits intomasterfrom fix/ppa-distrosAug 2, 2024