drop old patch series

1 files changed, 0 insertions, 30 deletions

diff --git a/debian/patches/fix-warnings0003-vm-enable-extra-assertions.patch b/debian/patches/fix-warnings0003-vm-enable-extra-assertions.patch
deleted file mode 100644
index 6adf8fe..0000000
--- a/debian/patches/fix-warnings0003-vm-enable-extra-assertions.patch
+++ /dev/null
@@ -1,30 +0,0 @@
-From e13827019a0a9c9782c700a497c3ba706dcc474a Mon Sep 17 00:00:00 2001
-From: Justus Winter <4winter@informatik.uni-hamburg.de>
-Date: Sat, 15 Aug 2015 11:19:01 +0200
-Subject: [PATCH gnumach 3/4] vm: enable extra assertions
-
-* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
----
- vm/vm_fault.c | 2 --
- 1 file changed, 2 deletions(-)
-
-diff --git a/vm/vm_fault.c b/vm/vm_fault.c
-index 0fa4d6a..46779f6 100644
---- a/vm/vm_fault.c
-+++ b/vm/vm_fault.c
-@@ -768,12 +768,10 @@ vm_fault_return_t vm_fault_page(
- 	 *	objects.
- 	 */
- 
--#if	EXTRA_ASSERTIONS
- 	assert(m->busy && !m->absent);
- 	assert((first_m == VM_PAGE_NULL) ||
- 		(first_m->busy && !first_m->absent &&
- 		 !first_m->active && !first_m->inactive));
--#endif	/* EXTRA_ASSERTIONS */
- 
- 	/*
- 	 *	If the page is being written, but isn't
--- 
-2.1.4
-