Skip to content
GitLab
Explore
Sign in
GNOME
Geary
Merge requests
!538
Plugin problem reports
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Gratton
requested to merge
mjog/plugin-problem-reports
into
mainline
Aug 10, 2020
Overview
0
Commits
1
Pipelines
3
Changes
2
Expand
Enables to plugins to report important errors as problem reports.
Merge request reports