contrib/gitdm: add another name to WaveComp map

Requested by Aleksandar.

Signed-off-by: Alex Bennée <alex.bennee@linaro.org>

diff --git a/contrib/gitdm/group-map-wavecomp b/contrib/gitdm/group-map-wavecomp
index c571a52c6573991902ae8b34f8c9843463793f50..2801a966b6170980100ba1c2c9093fea6d92db91 100644 (file)
--- a/contrib/gitdm/group-map-wavecomp
+++ b/contrib/gitdm/group-map-wavecomp
@@ -9,6 +9,7 @@ amarkovic@wavecomp.com
 arikalo@wavecomp.com
 dnikolic@wavecomp.com
 james.hogan@mips.com
+leon.alrae@imgtec.com
 matthew.fortune@mips.com
 paul.burton@imgtec.com
 pburton@wavecomp.com