xla
Introduce local ordinal API to allow restricting actions only on each…
#1197
Merged

Introduce local ordinal API to allow restricting actions only on each… #1197

dlibenzi merged 1 commit into master from do_local_ord
dlibenzi
dlibenzi Introduce local ordinal API to allow restricting actions only on each…
59038d7a
dlibenzi dlibenzi requested a review from ailzhang ailzhang 6 years ago
ailzhang
ailzhang approved these changes on 2019-10-15
dlibenzi dlibenzi merged 864acbcf into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone