diff options
-rw-r--r-- | contrib/gitdm/group-map-individuals | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/contrib/gitdm/group-map-individuals b/contrib/gitdm/group-map-individuals index afdbe7d460..05e355d30e 100644 --- a/contrib/gitdm/group-map-individuals +++ b/contrib/gitdm/group-map-individuals @@ -8,3 +8,8 @@ f4bug@amsat.org mjt@tls.msk.ru mark.cave-ayland@ilande.co.uk +rth@twiddle.net +noring@nocrew.org +samuel.thibault@ens-lyon.org +aurelien@aurel32.net +balaton@eik.bme.hu |