`check_device()`: Early exit for null device#5567

Merged

teunbrand merged 1 commit intotidyverse:mainfrom teunbrand:check_device_early_exit

Dec 8, 2023

+12-6

Commits on Dec 6, 2023

early exit for null device
teunbrand
committed