Merge "doc: Final, pre-release fixes and updates" into integration
authorPaul Beesley <paul.beesley@arm.com>
Tue, 22 Oct 2019 13:34:57 +0000 (13:34 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Tue, 22 Oct 2019 13:34:57 +0000 (13:34 +0000)

Trivial merge