From: Alex Bennée Date: Mon, 14 Jan 2019 16:03:04 +0000 (+0000) Subject: contrib/gitdm: add another name to WaveComp map X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=cb8d955df7ca05300843cd72ef4f217dc72a5189;p=people%2Fpauldu%2Fqemu.git contrib/gitdm: add another name to WaveComp map Requested by Aleksandar. Signed-off-by: Alex Bennée --- 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