Skip to content

Fix Ubuntu 22 build_helper

Robert Schmidt requested to merge fix-u22 into develop

Small fixes for Ubuntu 22 (and also 18/20)

Edited by Robert Schmidt

Merge request reports