[tor-commits] [tor/master] Not all invizbox people have the same TLD... :/

[nickm at torproject.org]

commit babe31fc7c52700ae1d04f9b95eca75459d1a8c2
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Sep 5 10:43:31 2017 -0400

    Not all invizbox people have the same TLD... :/
---
 doc/HACKING/ReleasingTor.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/HACKING/ReleasingTor.md b/doc/HACKING/ReleasingTor.md
index 8fece92c2..298712161 100644
--- a/doc/HACKING/ReleasingTor.md
+++ b/doc/HACKING/ReleasingTor.md
@@ -146,7 +146,8 @@ new Tor release:
 
        - {weasel,gk,mikeperry} at torproject dot org
        - {blueness} at gentoo dot org
-       - {paul,vincent} at invizbox dot io
+       - {paul} at invizbox dot io
+       - {vincent} at invizbox dot com
        - {lfleischer} at archlinux dot org
        - {Nathan} at freitas dot net
        - {mike} at tig dot as