summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-08 15:18:49 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-08 15:18:49 +0200
commit83bc9a5b46dd9ac41e06f439f87cbd415222625d (patch)
tree051e7d96f46b93203ca9e62c9e74c23f637459ab /debian/patches/series
parent4f3c1ae3425d60e55c85109292554cbdceef5f22 (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series5
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 0f458f68..1b38447d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -70,3 +70,8 @@ introspection0005-libdiskfs-annotate-objects-managed-by-libports.patch
introspection0006-libpager-annotate-objects-managed-by-libports.patch
introspection0007-ext2fs-annotate-objects-managed-by-libports.patch
introspection0008-utils-rpctrace-support-attaching-to-servers.patch
+try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch
+try-fence0002-libshouldbeinlibc-maptime-provide-a-mapped-time-sour.patch
+try-fence0003-pflocal-avoid-nested-function.patch
+try-fence0004-libshouldbeinlibc-maptime-provide-maptime_read_time_.patch
+try-fence0005-libpipe-use-mapped-time.patch