Merge branch 'timers/drivers/davinci' into timers/drivers/next
authorDaniel Lezcano <daniel.lezcano@linaro.org>
Wed, 26 Jun 2019 14:24:33 +0000 (16:24 +0200)
committerDaniel Lezcano <daniel.lezcano@linaro.org>
Wed, 26 Jun 2019 14:24:33 +0000 (16:24 +0200)

Trivial merge