Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[DISC] Fix device name discovery (#2093)
Fix issue introduced by #1936 Co-authored-by: Florian <[email protected]>
- Loading branch information