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

Collaborator

bsbds commented Mar 28, 2024

After the refactor of the conflict pools, the KeyRange type may no longer needed and should be removed.

The text was updated successfully, but these errors were encountered:

github-actions bot commented Mar 28, 2024

👋 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment