Skip to content

Conversation

@Divesh-Otwani
Copy link
Contributor

I couldn't resist.

@Divesh-Otwani Divesh-Otwani self-assigned this Jan 20, 2021
@utdemir utdemir mentioned this pull request May 12, 2021
@utdemir
Copy link
Contributor

utdemir commented Nov 1, 2022

Hey, I don't seem to have the necessary permission, can anyone remove me from the reviewers please?

@monoidal monoidal removed the request for review from utdemir November 1, 2022 20:53
@aspiwack
Copy link
Member

aspiwack commented Nov 2, 2022

I think it's best to close this anyway. Adding new data structures is not something that we are going to do any time soon (I'm not sure linear-base is the best place for this anyway).

@aspiwack aspiwack closed this Nov 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants