Fix: tools: use floating-point division when converting ms to seconds
Achieves originally intended purpose, and makes coverity happy.
Fix: tools: use floating-point division when converting ms to seconds Tags None Referenced Files None Subscribers None
Description
Details
Event Timeline |