New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Flush as soon as a missed event is retrieved #31

Merged
merged 1 commit into from Nov 22, 2018

Conversation

Projects
None yet
1 participant
@dunglas
Owner

dunglas commented Nov 22, 2018

No description provided.

@dunglas dunglas merged commit 6037c33 into master Nov 22, 2018

1 check passed

coverage/coveralls Coverage increased (+0.01%) to 93.613%
Details

@dunglas dunglas deleted the flush-missed branch Nov 22, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment