AttributeError: 'ClockManager' has no attribute 'tdctl' #44
Description
I just stumbled on this bug while provisioning a device. Looks like it has zero impact on the provisioning which continued as expected, but probably a good edge case to catch / fix.
