From 2233b7aa7545ff1e66264611270473b44e6ffdf5 Mon Sep 17 00:00:00 2001
From: Christopher Odenbach <odenbach@uni-paderborn.de>
Date: Tue, 15 Sep 2015 14:52:18 +0200
Subject: patch to support the concept of virtual ports

---
 THANKS.in | 1 +
 1 file changed, 1 insertion(+)

(limited to 'THANKS.in')

diff --git a/THANKS.in b/THANKS.in
index a6d2174b..f48a8bd1 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -340,3 +340,4 @@ Roberto Greiner
 Peter (pirtoo)
 ylfingr
 Christian Kujau
+Christopher Odenbach
-- 
cgit v1.2.3