Better error message on wrong device#1056
Merged
Borda merged 15 commits intomasterfrom feature/better_error_on_wrong_deviceJun 7, 2022
+30-1
Commits
Commits on May 31, 2022
Commits on Jun 1, 2022
Commits on Jun 3, 2022
- authored
Commits on Jun 6, 2022
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}
Commits on Jun 7, 2022
- authored
- authored
- committed
- authored
- authored
- authored
- authored
- authored
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&size=32){kind=avatar}