Merge pull request #1902 from jts-arm/romlib
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 21 Mar 2019 12:40:35 +0000 (12:40 +0000)
committerGitHub <noreply@github.com>
Thu, 21 Mar 2019 12:40:35 +0000 (12:40 +0000)
commit46d58f80afc994f522db4340270f1bcbb0c56fb1
tree0d3e50265b2c2475716550b34c91892709c27a77
parentcc0dcf428f047454d96461aa06327cfb528e7270
parentae2e01b8760618c374a605dbe4898945595cb136
Merge pull request #1902 from jts-arm/romlib

ROMLIB bug fixes