tree 94e0802a5525c593e8897378b2e69a466abdd46c
parent 71626ac1628c0de0945418d339f3742281e217bd
author Marc Kupietz <kupietz@ids-mannheim.de> 1568835914 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1568835914 +0200

Give better progress info when verbose

Change-Id: Ifd966646bae7fbe09d222794623e12177e375fea