Skip to content
GitLab
Explore
Sign in
GNOME
gnome-build-meta
Merge requests
!1871
Update element refs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jordan Petridis
requested to merge
update-bot/2022-11-26-00-37
into
master
Nov 25, 2022
Overview
4
Commits
1
Pipelines
4
Changes
14
Expand
Merge request reports