Commit b2409d5842de1cb6936fa749e312f4f096ff73ee

Stefan Sperling 2020-03-18T16:13:43

more fine-tuning of fetch progress display