Commit e03cc83491255ff69034ff6c824f9ba6062fcddd

Stefan Sperling 2020-09-24T16:47:06

handle failed connection attempts to git:// servers; patch by jrick