Matthias Einwag a0a7cd306e Use retry dialog also for downloads ... Since the change already implements a retry dialog for network operations, let's also use it for allowing to retry the actual file.		2020-09-23 00:28:38 -07:00
..
code	Use retry dialog also for downloads	2020-09-23 00:28:38 -07:00