Merge remote-tracking branch 'remotes/IOMultiplexer.git/master' into IOMultiplexer
authorpk910 <philipp@zoelle1.de>
Thu, 23 Aug 2012 17:15:09 +0000 (19:15 +0200)
committerpk910 <philipp@zoelle1.de>
Thu, 23 Aug 2012 17:15:09 +0000 (19:15 +0200)

Trivial merge