Skip to content
GitLab
Explore
Sign in
GNOME
mutter
Merge requests
!2061
Some fixes for issues raised by Coverity
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/coverity-fixes
into
main
Oct 25, 2021
Overview
7
Commits
13
Pipelines
8
Changes
16
Expand
Fix a few of the issues spotted by Coverity.
Merge request reports