--- a/COPYRIGHT	Wed May 14 05:11:32 2008 +0000
+++ b/COPYRIGHT	Wed May 14 07:38:58 2008 +0000
@@ -144,6 +144,7 @@
 Evgueni V. Gavrilov
 Ignacy Gawedzki
 Georgi Georgiev
+Thomas Gibson-Robinson
 Ike Gingerich
 Gustavo Giráldez
 Richard Gobeille