From 2f49224c9c9bf1e3c8595137894977aef6ef0cca Mon Sep 17 00:00:00 2001
From: Klaus Schmidinger <vdr@tvdr.de>
Date: Fri, 15 Nov 2002 14:04:11 +0100
Subject: Fixed closing unused PID handles

---
 CONTRIBUTORS | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'CONTRIBUTORS')

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 6463c532..4310db77 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -466,3 +466,6 @@ Steffen Barszus <st_barszus@gmx.de>
 Peter Seyringer <e9425234@student.tuwien.ac.at>
  for reporting a bug in saving the polarization parameter of channels that have a
  number in the 'source' parameter
+
+Stefan Schluenss <dxr3_osd@schluenss.de>
+ for reporting a bug where PID handles were not closed correctly
-- 
cgit v1.2.3