Commit 9396105b authored Mar 10, 2019 by Philipp Weber

Fix progress bar

One character in the line was not printed, now included

parent 2ce31258