Skip to content

Dev ubuntu20.04

Dominik Mehlem requested to merge dev_ubuntu20.04 into master

Integrate changes needed for the Ubuntu20.04-based ISO.

Merge request reports