changeset 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 9dc7e1d4da15
children c0fc992da040
files COPYRIGHT
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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