Skip to content

Conversation

@mkinney
Copy link

@mkinney mkinney commented Feb 3, 2017

@UdjinM6
Copy link

UdjinM6 commented Feb 3, 2017

Thanks! I would merge this only after the referenced one is merged however.

@schinzelh
Copy link

Yep, they are still discussing it in the originating PR, moved to 12.2

@schinzelh schinzelh added this to the 12.2 milestone Feb 3, 2017
@SCDeveloper
Copy link

They've been discussing that for an eternity.........

@schinzelh schinzelh changed the base branch from v0.12.1.x to v0.12.2.x February 20, 2017 20:40
@schinzelh
Copy link

They seem to prefer google/leveldb#449 over this fix - still not merged though

@mkinney mkinney closed this Nov 11, 2017
@UdjinM6 UdjinM6 removed this from the 12.2 milestone Mar 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants