Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
timer: Use dual_timestamp_is_set() in one more place
(cherry picked from commit e21f75afcd95a46261a36a2614712eff6bc119f4) Related: #1719364
- Loading branch information