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

Jump to bottom

Rename entry_index to get_index_of #120

Merged

cuviper merged 1 commit into master from get-index-of

Apr 14, 2020

Member

bluss commented Apr 11, 2020 •

edited

Loading

This is a suggested fix to #119

Fixes #119


          FIX: Rename entry_index to get_index_of

1b54c5e

cuviper approved these changes

View reviewed changes

Member

cuviper left a comment

Works for me!

cuviper merged commit e603553 into master

bluss deleted the get-index-of branch

April 15, 2020 08:30

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet