diff COPYRIGHT @ 22934:f96e73fbb9f4

Someone should write a tool to insert a name in the right place
author Ka-Hing Cheung <khc@hxbc.us>
date Wed, 14 May 2008 07:38:58 +0000
parents cf2ac6f0758a
children 89b3a0a52b53 6b2f8b7b6720
line wrap: on
line diff
--- 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