Closed sourcefrog closed 3 months ago
Fixes #365
(Other solutions to this might be possible, but this seems like a general improvement, and setting a timeout automatically will probably always be a bit heuristic.)
Fixes #365
(Other solutions to this might be possible, but this seems like a general improvement, and setting a timeout automatically will probably always be a bit heuristic.)