Skip to content

Resolve "Pin ubuntu to 18.04 for now"

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

Closes #11 (closed)

Edited by Jens Heidbüchel

Merge request reports