Skip to content

Fix double device registration#32

Merged
xla merged 2 commits intomasterfrom fix-double-deviceDec 9, 2016

Commits

Commits on Dec 9, 2016