summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-11 18:46:09 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-11 18:46:09 +0200
commit95f85966681f56233db55885bd6487b2811a825c (patch)
tree7eb8b4578610ae2d6060597910374a0841438aa8 /debian/patches/series
parent4a1aaec0d8537f663a25b889bdcbf947ddf58d28 (diff)
Revert "Fix spurious port deallocation"
This reverts commit 7dd32866e6bd26fde00cae4f58658fb92ffc8e28. This has been commited upstream
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 59151900..9a7e4bce 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -31,4 +31,3 @@ auth-intr-cure.patch
libpager_deadlock.patch
libdiskfs_self-reauth.patch
libdiskfs_sync.patch
-proc_exception.patch