diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index e63244523..af6dbebb6 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -6,3 +6,6 @@ debian-local/0005-gssapi-never-unload-mechanisms.patch debian-local/0006-Add-substpdf-target.patch debian-local/0007-Fix-pkg-config-library-include-paths.patch debian-local/0008-Use-isystem-for-include-paths.patch +upstream/0009-Remove-erroneous-text-from-kinit-man-page.patch +upstream/0010-Fix-memory-leak-in-none-replay-cache-type.patch +upstream/0011-Document-the-double-colon-behavior-of-DIR-ccaches.patch |