PR #962 feat(function/embedding): ext and ext_iff

feat(function/embedding): ext and ext_iff #962

mergify merged 1 commit into master from ChrisHughes24-patch-2

feat(function/embedding): ext and ext_iff

a9b2fd4c

ChrisHughes24 requested a review 6 years ago

jcommelin approved these changes on 2019-04-23

jcommelin added ready-to-merge

mergify merged 1d9ff681 into master 6 years ago

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

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone