Refresh patches

diff --git a/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch b/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch
index 8239d5710d7bb10e1c3d5b201d8b3a83ef5d76dd..586ddbe66822324bafe71621a973684f64390ebd 100644 (file)
--- a/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch
+++ b/debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch
@@ -5,7 +5,6 @@ Subject: read_main_debug_info: do not die in -custom executables
 This fatal error occurred with some executables linked with -custom
 (with the Debian-specific patch), notably ppx preprocessors during the
 build of ppxlib.
-
 ---
  runtime/backtrace_byt.c | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)