Skip to content
GitLab
Explore
Sign in
GNOME
mutter
Merge requests
!3398
Add missing GSource names
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ivan Molodetskikh
requested to merge
YaLTeR/mutter:source-names
into
main
Nov 15, 2023
Overview
1
Commits
5
Pipelines
3
Changes
4
Expand
Merge request reports
