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 ae769505..8bfd919c 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 leaks0001-xxx-print-fail.patch leaks0002-libshouldbeinlibc-add-safe-port-handling-macros.patch |