Merge "spd: opteed: enable NS_TIMER_SWITCH" into integration
authorAlexei Fedorov <Alexei.Fedorov@arm.com>
Mon, 12 Aug 2019 08:50:51 +0000 (08:50 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Mon, 12 Aug 2019 08:50:51 +0000 (08:50 +0000)

Trivial merge