Merge branch 'timers/drivers/timer-ti-dm' of https://git.linaro.org/people/dlezcano...
authorThierry Reding <thierry.reding@gmail.com>
Mon, 30 Mar 2020 14:54:58 +0000 (16:54 +0200)
committerThierry Reding <thierry.reding@gmail.com>
Mon, 30 Mar 2020 14:54:58 +0000 (16:54 +0200)

Trivial merge