commit | a364a64a6b1e963ea4787b35881467bc9fba81ef | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Fri Sep 07 09:54:33 2018 +0100 |
committer | GitHub <noreply@github.com> | Fri Sep 07 09:54:33 2018 +0100 |
tree | 789e59f2ab4dfd0296261a1d40c323b87b924d90 | |
parent | dc8714bf5cbe13a90377e21402bcf02159a9156b [diff] | |
parent | f1c808d4d1dab6ebab887782cfd049745320479c [diff] |
Merge pull request #1562 from antonio-nino-diaz-arm/an/bl31-warn Convert BL31 error message into warning