Merge "doc: Fix platform port inclusion" into integration
authorSoby Mathew <[email protected]>
Fri, 27 Sep 2019 09:54:07 +0000 (09:54 +0000)
committerTrustedFirmware Code Review <[email protected]>
Fri, 27 Sep 2019 09:54:07 +0000 (09:54 +0000)

Trivial merge