xla
Plug a default device setting if a user asks for a single device.
#775

Merged

Plug a default device setting if a user asks for a single device. #775

asuhan merged 1 commit into master from def_one_device

Plug a default device setting if a user asks for a single device.

39d448b8

dlibenzi requested a review from

asuhan 6 years ago

asuhan approved these changes on 2019-06-22

asuhan merged d03f827b into master 6 years ago

asuhan deleted the def_one_device branch 6 years ago

asuhan restored the head branch 6 years ago

asuhan deleted the def_one_device branch 6 years ago

Reviewers

asuhan

Assignees

No one assigned

Labels

None yet

Milestone

No milestone