contrib/gitdm: add another name to WaveComp map

author Alex Bennée <[email protected]>

Mon, 14 Jan 2019 16:03:04 +0000 (16:03 +0000)

committer Alex Bennée <[email protected]>

Mon, 14 Jan 2019 16:06:56 +0000 (16:06 +0000)
author Alex Bennée <[email protected]>
Mon, 14 Jan 2019 16:03:04 +0000 (16:03 +0000)
committer Alex Bennée <[email protected]>
Mon, 14 Jan 2019 16:06:56 +0000 (16:06 +0000)
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 @@ [email protected]
  [email protected]
  [email protected]
  [email protected]
+[email protected]
  [email protected]
  [email protected]
  [email protected]
author	Alex Bennée <[email protected]>
	Mon, 14 Jan 2019 16:03:04 +0000 (16:03 +0000)
committer	Alex Bennée <[email protected]>
	Mon, 14 Jan 2019 16:06:56 +0000 (16:06 +0000)