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.

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

Split-Brain Merge Policies for Additional Data Structures #11969

Open
Donnerbart opened this issue Dec 12, 2017 · 2 comments
Open

Split-Brain Merge Policies for Additional Data Structures #11969

Donnerbart opened this issue Dec 12, 2017 · 2 comments

Comments

@Donnerbart
Copy link
Contributor

Donnerbart commented Dec 12, 2017

Known issues:

Test failures:

Pull requests:

@mmedenjak
Copy link
Contributor

101 tasks! Congrats! 🎉

@Donnerbart
Copy link
Contributor Author

I don't know if this is an achievement to be proud of, but thanks 😸

@mmedenjak mmedenjak modified the milestones: 3.10, 3.11 Apr 16, 2018
@mmedenjak mmedenjak modified the milestones: 3.11, 3.12 Aug 2, 2018
@mmedenjak mmedenjak modified the milestones: 3.12, 3.13 Jan 25, 2019
@mmedenjak mmedenjak removed this from the 3.13 milestone Apr 17, 2019
@mmedenjak mmedenjak added this to the 4.0 milestone Apr 17, 2019
@mmedenjak mmedenjak modified the milestones: 4.0, 4.1 Oct 28, 2019
@Holmistr Holmistr modified the milestones: 4.1, 4.2 Aug 25, 2020
@mmedenjak mmedenjak modified the milestones: 4.2, Backlog Jan 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants