Merge "Add information about the mailing list in the docs" into integration
authorJohn Tsichritzis <[email protected]>
Mon, 3 Jun 2019 16:21:50 +0000 (16:21 +0000)
committerTrustedFirmware Code Review <[email protected]>
Mon, 3 Jun 2019 16:21:50 +0000 (16:21 +0000)

Trivial merge