Skip to content
Snippets Groups Projects

Resolve "Pin ubuntu to 18.04 for now"

Merged Jens Heidbüchel requested to merge 11-pin-ubuntu-to-18-04-for-now into master
Loading