Skip to content
GitLab
Explore
Sign in
Register
Merge branch 'ci/update-ubuntu-to-22.04' into 'master'
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ivan Buntic
requested to merge
cherry-pick-d3fb5e86-2
into
releases/3.8
Oct 31, 2023
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
What this MR does / why does DuMux need it
:
Backport
!3693 (merged)
to
releases/3.8
Merge request reports