summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-01-22 23:48:46 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-01-22 23:48:46 +0100
commitf3d6454fdd38b5a745c15e053bbf2a08c7883f37 (patch)
tree139cb004e4e05ce5dcbac08ba0fec81296abcbfd /debian/patches/series
parent0552edc695a235dba2dea3ba6962af29e17f36a7 (diff)
drop merged patch
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index ad0d046..25a736d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,4 +7,4 @@
Add-some-padding-to-make-objects-fit-a-single-cache-.patch
vm_cache_policy.patch
0001-XXX.patch
-pedantic-port-management.patch
+