diff options
author | Mark Hindley <mark@hindley.org.uk> | 2018-11-09 13:38:51 +0000 |
---|---|---|
committer | Mark Hindley <mark@hindley.org.uk> | 2018-11-09 13:38:51 +0000 |
commit | 0bebad6321b73859002b9af1cd47d3b7fb16b720 (patch) | |
tree | 49bbe9633d51f02d936398ce2c37c9a70d4e6ac7 /debian/patches/series | |
parent | 7c4b18340c2dc8b5b27a1c5bf7a4c8cc95f5e807 (diff) | |
parent | 4691c18c097c64b222da2d44c3ca5060d08c3d4f (diff) |
Merge branch 'merge_rc2' into debian_WIP
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 33125a623..fb9c2028a 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ +Disable_Dbus_activation_by_default.diff.patch manpage-branding.diff Fix_glibc_program_invocation_name_pointer_overlap.diff |