Merge "doc: Final, pre-release fixes and updates" into integration
authorPaul Beesley <[email protected]>
Tue, 22 Oct 2019 13:34:57 +0000 (13:34 +0000)
committerTrustedFirmware Code Review <[email protected]>
Tue, 22 Oct 2019 13:34:57 +0000 (13:34 +0000)

Trivial merge