diff options
| author | Mark Hindley <mark@hindley.org.uk> | 2018-11-12 09:19:10 +0000 |
|---|---|---|
| committer | Mark Hindley <mark@hindley.org.uk> | 2018-11-12 09:19:10 +0000 |
| commit | f7eeda169864b15cf5b58a7daace4284b1bf5d35 (patch) | |
| tree | cf77f8598252f5f529a95f58764f3f88054c53b8 /debian/patches/series | |
| parent | 0283a93cb8e00114a29e630b4ff7867a819d5bd5 (diff) | |
Issue #92 fixed upstream so drop local patch.
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index 33125a623..295f7f092 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1 @@ manpage-branding.diff -Fix_glibc_program_invocation_name_pointer_overlap.diff |