diff options
author | 2012-11-10 01:41:28 -0400 | |
---|---|---|
committer | 2012-11-10 01:41:28 -0400 | |
commit | 095eee8594f6f36b90898504f306409edc6fdddf (patch) | |
tree | 1225716659f43861aeeac476d944890e32cc110c /Assistant/XMPP.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 'Assistant/XMPP.hs')
0 files changed, 0 insertions, 0 deletions