device_manager.cpp revision b9c7ba4b
1