Merge pull request #352 from chocolateboy/decontaminate_stdout
authorPhilipp Hagemeister <phihag@phihag.de>
Thu, 31 May 2012 07:04:32 +0000 (00:04 -0700)
committerPhilipp Hagemeister <phihag@phihag.de>
Thu, 31 May 2012 07:04:32 +0000 (00:04 -0700)
don't corrupt stdout (-o -) in verbose mode


Trivial merge