1 files changed, 0 insertions, 33 deletions
diff --git a/debian/patches/700005-Fix-synchronization.patch b/debian/patches/700005-Fix-synchronization.patch
deleted file mode 100644
index be7258c..0000000
--- a/debian/patches/700005-Fix-synchronization.patch
+++ /dev/null
@@ -1,33 +0,0 @@
-From 6632518b1183e15f2016ec53088e3f26f151a96d Mon Sep 17 00:00:00 2001
-From: Justus Winter <justus@gnupg.org>
-Date: Fri, 26 Feb 2016 13:21:12 +0100
-Subject: [PATCH gnumach 05/15] Fix synchronization
-
----
- device/intr.c | 3 +--
- 1 file changed, 1 insertion(+), 2 deletions(-)
-
-diff --git a/device/intr.c b/device/intr.c
-index 177c095..1e5a3ea 100644
---- a/device/intr.c
-+++ b/device/intr.c
-@@ -123,6 +123,7 @@ intr_thread ()
- 
-   for (;;)
-     {
-+      assert_wait ((event_t) &intr_thread, FALSE);
-       cli ();
-       while (tot_num_intr)
- 	{
-@@ -162,8 +163,6 @@ intr_thread ()
- 	    }
- 	}
-       sti ();
--
--      assert_wait ((event_t) &intr_thread, FALSE);
-       thread_block (thread_no_continuation);
-     }
- }
--- 
-2.1.4
-