diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-11-10 01:41:28 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-10 01:41:28 -0400 |
| commit | 095eee8594f6f36b90898504f306409edc6fdddf (patch) | |
| tree | 1225716659f43861aeeac476d944890e32cc110c /Command/ConfigList.hs | |
| parent | a41f01d88bc30c9a26b2558789566d9f8e661fa8 (diff) | |
on second thought, do allow deferring StartingPush
My reasoning is that StartingPush could be received after another push
starts being received, and it would be better to respond to it afterwards
than not.
Diffstat (limited to 'Command/ConfigList.hs')
0 files changed, 0 insertions, 0 deletions