Put name instead of uid

Raku · Mar 16, 2017 · ddf83d3 · ddf83d3
1 parent 3bdf532
commit ddf83d3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CREDITS b/CREDITS
@@ -301,8 +301,8 @@ E: email@froggs.de
 N: Tokuhiro Matsuno
 E: tokuhirom@gmail.com
 
-N: u0097636@kuleuven.be
-E: claudio.ramirez@kuleuven.be
+N: Claudio Ramirez
+E: pub.claudio@gmail.com
 
 N: ugexe
 E: nlogan@gmail.com