-
Notifications
You must be signed in to change notification settings - Fork 650
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Change index of operation_history
objects from simple_index
to generic_index
#403
Comments
I agree. |
i can give a try to this index change this starting week if none of you guys are already working on. please let know. |
See PR #464. |
thank you for making it, i had it under my TODO list but never found the time. |
Change operation_history to generic_index, #403
Merged to |
Simple indexes aren't good when objects need to be removed. Memory won't get freed,
begin()
doesn't work and etc. Related code is here and here. I'm not sure whetheruse_next_id()
calls here and here will be affected.The text was updated successfully, but these errors were encountered: