Skip to content
GitLab
Explore
Sign in
GNOME
tracker
Merge requests
!470
Fixes for Coverity warnings
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/coverity-fixes
into
master
Oct 23, 2021
Overview
0
Commits
16
Pipelines
1
Changes
11
Expand
Some fixes for Coverity warnings.
Merge request reports