summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-17 15:04:37 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-17 15:04:37 +0200
commit798d0922d46e848ae42e835fa2786b3ea4bd504b (patch)
treef9f8201b96f9127a1b08e34552e7cc284a2865f7 /debian/patches/series
parent6dfcad6cc2325e24ae4d93d2d27a3e6d3a0c3b80 (diff)
drop old patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 7e2b637..029e46a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -13,4 +13,3 @@ sysenter0001-yyy-sysenter-prototype.patch
vm-cache-policy0001-VM-cache-policy-change.patch
vm-cache-policy0002-vm-keep-track-of-clean-pages.patch
vm-cache-policy0003-vm-evict-clean-pages-first.patch
-fix-locking0001-vm-fix-locking-issues.patch