From faed863b721b58f718e5bbc80ecc398b324dafb7 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 18 Feb 2015 06:52:04 +0100
Subject: drop old patch series

---
 debian/patches/series | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 7b52438..102e3c8 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,4 +7,3 @@
 Add-some-padding-to-make-objects-fit-a-single-cache-.patch
 vm_cache_policy.patch
 task-load.patch
-0001-kern-fix-the-scheduler.patch
-- 
cgit v1.2.3