xla
Better promotion for PREDs.
#650
Merged

Better promotion for PREDs. #650

dlibenzi merged 1 commit into master from promote_booleans
dlibenzi
dlibenzi Better promotion for PREDs.
4eb1e49f
dlibenzi dlibenzi requested a review from asuhan asuhan 6 years ago
asuhan
asuhan approved these changes on 2019-05-01
dlibenzi dlibenzi merged 35e06826 into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone