summary refs log tree commit diff stats
path: root/contrib/gitdm/group-map-wavecomp
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/gitdm/group-map-wavecomp')
-rw-r--r--contrib/gitdm/group-map-wavecomp1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/gitdm/group-map-wavecomp b/contrib/gitdm/group-map-wavecomp
index c571a52c65..2801a966b6 100644
--- 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