Commit f1c6967f90f720a023714672e6751755b755e2a5

Stefan Sperling 2020-03-19T22:43:44

fix chopped display of git-server's progress output