# HG changeset patch
# User Ka-Hing Cheung <khc@hxbc.us>
# Date 1210750738 0
# Node ID f96e73fbb9f4630e3f599bb94da81420a07ef93c
# Parent  9dc7e1d4da15eadc7e04aa6bb7f9b97fcbe2d026
Someone should write a tool to insert a name in the right place

diff -r 9dc7e1d4da15 -r f96e73fbb9f4 COPYRIGHT
--- 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