Skip to content
GitLab
Explore
Sign in
GNOME
gnome-build-meta
Merge requests
!1813
Update element refs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Abderrahim Kitouni
requested to merge
update-bot/2022-10-12-08-52
into
master
Oct 12, 2022
Overview
3
Commits
1
Pipelines
4
Changes
19
Expand
Merge request reports