tree 540fa8b3d7e7fb5ae688abc66a9c3d1b01a919d8
parent 665bd32dca0175888ce1f5a96bf72a1b82a38cf7
author John Tsichritzis <john.tsichritzis@arm.com> 1559555482 +0100
committer John Tsichritzis <john.tsichritzis@arm.com> 1559555719 +0100

Add information about the mailing list in the docs

Change-Id: I41ce5323c33a81db13c5cc40de1ac4e221a10cd8
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>