diff options
author | 2013-07-17 16:07:06 +0000 | |
---|---|---|
committer | 2013-07-17 16:07:06 +0000 | |
commit | 0f23b5b111a3a3ad4d1410bd7597df4233a29213 (patch) | |
tree | f46addc32cf7f3a4cb2185904bec36933ab9cdd2 /Remote.hs | |
parent | 969d0b8463ecbb83129931ea9c78705b8e43d92c (diff) |
new bug: Should try again when network fails (esp. DNS)
Diffstat (limited to 'Remote.hs')
0 files changed, 0 insertions, 0 deletions