Skip to content
GitLab
Explore
Sign in
GNOME
gnome-system-monitor
Merge requests
!121
Fix incompatible pointer type warnings
Code
Review changes
Check out branch
Download
Patches
Plain diff
David King
requested to merge
wip/davidk/incompatible-pointer-types
into
master
Jan 22, 2024
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
Verified against GTK documentation.
Merge request reports