PR #954 feat(data/list/basic): index_of_inj

feat(data/list/basic): index_of_inj #954

mergify merged 3 commits into master from ChrisHughes24-patch-2

feat(data/list/basic): index_of_inj

b8dfe1d1

ChrisHughes24 requested a review 6 years ago

Merge branch 'master' into ChrisHughes24-patch-2

e4a60766

jcommelin commented on 2019-04-22

make it an iff

91cc863f

robertylewis approved these changes on 2019-04-22

robertylewis added ready-to-merge

mergify merged 63bbd1c3 into master 6 years ago

mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Reviewers

robertylewis

jcommelin

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone