Skip to content
GitLab
Explore
Sign in
hm
devbox
Merge requests
!59
Update for WiSe 2022/23
Code
Review changes
Check out branch
Download
Patches
Plain diff
Wallentowitz, Stefan
requested to merge
wise22
into
main
Jul 21, 2022
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
Move to new Ubuntu release. Use server as base, as this works for arm too.
Merge request reports