Commit 9509b497 authored by Brice Videau's avatar Brice Videau

Merge branch 'device-timer' into 'master'

Added new event to dump device timer when available.

See merge request !7
parents 3b9d82f0 f7f20104
Pipeline #12270 failed with stage