summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-04-23 19:57:37 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-04-23 19:57:37 +0200
commit1f0523437b99b78b7ace4f3e1316a62737b51d40 (patch)
tree0f7227daa786a43fa0a78c19fe4d844277d2d1e5 /debian/patches/series
parent9bf29da902b1de2ae52110cb86711b9960b6a8c5 (diff)
add disable-more-counters.patch
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index eb09925..b0558f3 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -17,3 +17,4 @@ reorder-ipc_port.patch
0007-ipc-inline-key-ipc-entry-lookup-functions.patch
0008-xxx-use-a-rbtree-for-reverse-lookups.patch
0009-kern-fix-comment.patch
+disable-more-counters.patch