Skip to content
GitLab
Explore
Sign in
Synchronize master branch with 2024-patches
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marco Clemencic
requested to merge
2024-patches-sync
into
master
Jul 19, 2024
Overview
0
Commits
3
Pipelines
4
Changes
0
Expand
No change WRT master, but it records a merge commit to simplify future synchronization.
Edited
Jul 26, 2024
by
Marco Clemencic
Merge request reports
Loading