1 files changed, 0 insertions, 25 deletions
diff --git a/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch b/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch
deleted file mode 100644
index 0c1c352a..00000000
--- a/debian/patches/random-fixes0002-libdiskfs-fflush-stdout-when-pausing.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-From 9e8cb4acfd8971f691b35657e1f63a903f638996 Mon Sep 17 00:00:00 2001
-From: Justus Winter <4winter@informatik.uni-hamburg.de>
-Date: Sun, 27 Sep 2015 16:20:50 +0200
-Subject: [PATCH hurd 2/9] libdiskfs: fflush stdout when pausing
-
-* libdiskfs/boot-start.c (start_execserver): fflush stdout when pausing.
----
- libdiskfs/boot-start.c | 1 +
- 1 file changed, 1 insertion(+)
-
-diff --git a/libdiskfs/boot-start.c b/libdiskfs/boot-start.c
-index 6b829f2..809e2c0 100644
---- a/libdiskfs/boot-start.c
-+++ b/libdiskfs/boot-start.c
-@@ -645,6 +645,7 @@ start_execserver (void)
-   if (_diskfs_boot_pause)
-     {
-       printf ("pausing for exec\n");
-+      fflush (stdout);
-       getc (stdin);
-     }
-   err = task_resume (diskfs_exec_server_task);
--- 
-2.1.4
-