device_manager.cpp revision 078d0317d0f6b62cc00fe55103cd170954d8a1f4
1