summaryrefslogtreecommitdiff
path: root/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-10-16 17:55:25 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-10-16 17:55:25 +0200
commit3693b2fa0d17f370556e06a94d52c783cc97497c (patch)
tree878d68026a82ab1711f5ccad2948c2b292627d14 /debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
parentbd1f13f141be21694d1e6b829c0bcff6acb71a13 (diff)
drop merged patch
Diffstat (limited to 'debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch')
0 files changed, 0 insertions, 0 deletions