Merge pull request #1536 from jts-arm/dsu
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 28 Aug 2018 09:07:02 +0000 (10:07 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 09:07:02 +0000 (10:07 +0100)
DSU erratum 936184 workaround: bug fix


Trivial merge