summaryrefslogtreecommitdiff
path: root/Annex/Wanted.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-11-10 01:41:28 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-11-10 01:41:28 -0400
commit095eee8594f6f36b90898504f306409edc6fdddf (patch)
tree1225716659f43861aeeac476d944890e32cc110c /Annex/Wanted.hs
parenta41f01d88bc30c9a26b2558789566d9f8e661fa8 (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 'Annex/Wanted.hs')
0 files changed, 0 insertions, 0 deletions