Merge pull request #1535 from antonio-nino-diaz-arm/an/backtrace
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 30 Aug 2018 15:08:12 +0000 (16:08 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Aug 2018 15:08:12 +0000 (16:08 +0100)
Introduce backtrace function


Trivial merge