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

[Refactor]: Remove KeyRange #743

Open
bsbds opened this issue Mar 28, 2024 · 1 comment · May be fixed by #939
Open

[Refactor]: Remove KeyRange #743

bsbds opened this issue Mar 28, 2024 · 1 comment · May be fixed by #939
Assignees
@lxl66566

Comments

@bsbds
Copy link
Collaborator

bsbds commented Mar 28, 2024

After the refactor of the conflict pools, the KeyRange type may no longer needed and should be removed.
@github-actions GitHub Actions
Copy link

👋 Thanks for opening this issue!

Reply with the following command on its own line to get help or engage:

  • /help : to print help messages.
  • /assignme : to assign this issue to you.

@lxl66566 lxl66566 self-assigned this Aug 2, 2024
@lxl66566 lxl66566 linked a pull request Aug 7, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lxl66566 lxl66566

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Refactor keyrange lxl66566/Xline
3 participants
@bsbds @lxl66566 @CrystalAnalyst