re #11747 - files added

Zdeněk Vavřička requested to merge feat/11747-Add_Files_from_PPA into dev Nov 28, 2024