Skip to content
GitLab
Explore
Sign in
GNOME
Geary
Merge requests
!157
Remove debian packaging and CI job
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Gratton
requested to merge
wip/remove-debian-packaging
into
master
Mar 01, 2019
Overview
0
Commits
1
Pipelines
1
Changes
12
Expand
Now that the PPA is being deprecated, we don't need this in the tree any more.
Fixes
#270 (closed)
Merge request reports