From 86ea76402a0efc80e9a89acf61ba5b42b7c1f4b2 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sat, 5 Jan 2013 22:53:44 +0000
Subject: Drop pfinet_local_port_range.patch, merged upstream

---
 debian/patches/series | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 44e45af1..299b9452 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -41,4 +41,3 @@ libmachdev.patch
 exec_filename_exec.patch
 exec_filename_fs.patch
 exec_filename_use.patch
-pfinet_local_port_range.patch
-- 
cgit v1.2.3