Thu, 01 Oct 2015 16:47:01 +0200 Fix option processing
Heiko Schlittermann <hs@schlittermann.de> [Thu, 01 Oct 2015 16:47:01 +0200] rev 3
Fix option processing
(0) -1 +1 tip