Skip to content
GitLab
Explore
Sign in
Resolve "Pin ubuntu to 18.04 for now"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jens Heidbüchel
requested to merge
11-pin-ubuntu-to-18-04-for-now
into
master
Jun 09, 2020
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Closes
#11 (closed)
Edited
Jun 09, 2020
by
Jens Heidbüchel
Merge request reports