summaryrefslogtreecommitdiff
path: root/debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch
AgeCommit message (Expand)Author
2014-06-09add patch seriesJustus Winter