device_manager.cpp revision 7a6818d3fa3871322557df09106171d2150bdc8b
1