diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-02-13 21:30:37 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-02-13 21:30:37 +0100 |
| commit | cdcee53af28c059738b50245aa2104317438ed36 (patch) | |
| tree | 759f83422c02e55d92298b1056fbf7a2f526c2c1 /debian/patches/series | |
| parent | da9a79a2f0b1e6b4ab102ec36e71aba1626103ab (diff) | |
drop non-functional patch
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index 14a4242..7b52438 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,4 +8,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 -fix-new-task-notification.patch |