Skip to content

Rename get_device() to get_device_access() for clarity#24

Merged
JeanLucPons merged 3 commits into
mainfrom
23-rename-get-device-access
Jun 16, 2026
Merged

Rename get_device() to get_device_access() for clarity#24
JeanLucPons merged 3 commits into
mainfrom
23-rename-get-device-access

Commits

Commits on Jun 15, 2026