summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-13 01:36:34 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-13 01:36:34 +0200
commit729cea1e1e45c0c9eb546b32edc4ad005f50a8b4 (patch)
treebf85952cdbcd58c574eb45d5d7643deff0614486 /debian/patches/series
parent21d2ab2e91dbff3db188f5c380069efe9c502cde (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 14fccb4..35ec82b 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -6,3 +6,6 @@
protected_payload.patch
Add-some-padding-to-make-objects-fit-a-single-cache-.patch
+0001-ddb-add-show-all-tasks-command.patch
+0002-ddb-add-db_check_task_address_valid.patch
+0003-ddb-add-kill-command.patch