Skip to content
GitLab
Explore
Sign in
GNOME
Geary
Merge requests
!478
Plugin API update
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Gratton
requested to merge
mjog/plugin-api-update
into
mainline
Mar 30, 2020
Overview
0
Commits
3
Pipelines
1
Changes
13
Expand
Clean up the plugin API somewhat.
Merge request reports