Skip to content
This repository has been archived by the owner on Feb 12, 2024. It is now read-only.

fixed race condition on floodsub #851

Merged
merged 1 commit into from
May 16, 2017
Merged

fixed race condition on floodsub #851

merged 1 commit into from
May 16, 2017

Conversation

daviddias
Copy link
Member

@daviddias daviddias commented May 12, 2017

for #844

@daviddias
Copy link
Member Author

Finally, Travis is green too 💚

@daviddias daviddias merged commit dd513f9 into master May 16, 2017
@daviddias daviddias deleted the fix/issue#444 branch May 16, 2017 07:10
@daviddias daviddias removed the status/in-progress In progress label May 16, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant