Stephan Dilly 39fb65b396 Async fetch (#552) ... * async fetch * reuse remote progress for fetch * prvent push/fetch popup from closing too soon		2021-02-28 19:24:05 +01:00
..
mod.rs	Async fetch (#552)	2021-02-28 19:24:05 +01:00
push.rs	branch merge from upstream (#384)	2021-02-28 01:55:35 +01:00