Skip to content
GitLab
Explore
Sign in
GNOME
tracker
Merge requests
!193
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
Mar 04, 2020
Overview
1
Commits
10
Pipelines
2
Changes
8
Expand
Fixes for a number of issues found by Coverity.
Merge request reports