Arturo Filastò 8fb5e397d7 Cleanup the output of the progress handler		2018-07-16 13:15:01 +02:00
..
handlers	Cleanup the output of the progress handler	2018-07-16 13:15:01 +02:00