diff options
| -rw-r--r-- | debian/patches/series | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index 42cfc71e..0c0fc44b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -38,7 +38,7 @@ exec_filename0004-This-patch-is-an-amendment-of-exec_filename_exec.pat.patch pager-alloc0001-libpager-provide-pager_create_alloc.patch hurdutil0001-libhurdutil-New-library-containing-utils-to-be-used-.patch external.patch -#crash0001-xxx-crash-logging-works.patch +crash0001-xxx-crash-logging-works.patch nfs0001-nfs-fix-memory-leak.patch corefiles0001-trans-crash-xxx-core-file-templates.patch leaks0001-xxx-print-fail.patch |