diff options
author | 2016-02-12 16:48:03 -0400 | |
---|---|---|
committer | 2016-02-12 16:48:03 -0400 | |
commit | cc13dd82c5cd7647f911ed6be1e58694f7edee31 (patch) | |
tree | 96428bff35d8883e6e4f294072178ba55ffb3d35 /Messages/Concurrent.hs | |
parent | f246621a92d2dae3d7d9d6358e6916097729f5c9 (diff) |
avoid --batch crashing if a remote fails to be accessed
Diffstat (limited to 'Messages/Concurrent.hs')
0 files changed, 0 insertions, 0 deletions