Skip to content
GitLab
Explore
Sign in
GNOME
devdocsgjs
Merge requests
!41
DevDocs: merge changes from upstream
Code
Review changes
Check out branch
Download
Patches
Plain diff
Andy Holmes
requested to merge
wip/andyholmes/upstream-merge
into
gnome
May 20, 2022
Overview
0
Commits
19
Pipelines
2
Changes
13
Expand
fixes #1739
Merge request reports