Fix select_device()
for Multi-GPU#6434
Merged
glenn-jocher merged 14 commits intomasterfrom Jan 26, 2022
Merged
Commits
Commits on Jan 26, 2022
- committed
- committed
- authored
- authored
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed