summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-08 16:52:15 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-08 16:52:15 +0200
commita6cec708bcc74656b3d688d39b23a49ade260628 (patch)
tree9d3c2b421a9e3e7b35e00499bdb05c007ae2c8bd /debian/patches/series
parentfe79bbddd41a9a56efc7254366cae987e897221d (diff)
add patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series4
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 0f458f68..5520dda2 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -70,3 +70,7 @@ 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