Skip to content

Draft: Ubuntu 20 + GCC 9

Rainer Kartmann requested to merge ubuntu20-gcc9 into dev

This MR is primarily there to have an overview over what is currently different between Ubuntu 18 (main/dev) and Ubuntu 20.

Merge request reports