Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Fix bug in dynamic membership #38

Closed
belaban opened this issue Jul 10, 2015 · 1 comment
Closed

Fix bug in dynamic membership #38

belaban opened this issue Jul 10, 2015 · 1 comment
Assignees
@belaban
Labels
bug
Milestone
1.0.9

Comments

@belaban
Copy link
Member

belaban commented Jul 10, 2015

Fix the bug found by Diego et al in his dissertation. The discussion and proposed fix is at [1].

[1] https://mail.google.com/mail/u/0/?tab=wm#inbox/14e7654a1dfc36e9
@belaban belaban added the bug label Jul 10, 2015
@belaban belaban self-assigned this Jul 10, 2015
@belaban belaban added this to the 0.3 milestone Jul 10, 2015
@belaban belaban modified the milestones: 0.4, 0.3 Feb 1, 2016
@belaban belaban modified the milestones: 0.4, 0.5 Aug 4, 2017
@belaban belaban modified the milestones: 0.5, Future Mar 17, 2022
@belaban
Copy link
Member Author

belaban commented May 25, 2022

Fixed by #175 and / or #176

@belaban belaban closed this as not planned Won't fix, can't repro, duplicate, stale May 25, 2022
@belaban belaban modified the milestones: Future, 1.0.9 May 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@belaban belaban

Labels
bug
Projects
None yet
Milestone
1.0.9
Development

No branches or pull requests
1 participant
@belaban