# HG changeset patch # User John Bailey # Date 1225339148 0 # Node ID 03c73e917b1b8c41529557915c953bfb0ae8be35 # Parent 0b6acb534f163fab01814a0f21ac43469702e764 Credit Diego for that patch. Refs #7391. diff -r 0b6acb534f16 -r 03c73e917b1b COPYRIGHT --- a/COPYRIGHT Thu Oct 30 03:58:20 2008 +0000 +++ b/COPYRIGHT Thu Oct 30 03:59:08 2008 +0000 @@ -305,6 +305,7 @@ Ted Percival Eduardo PĆ©rez Matt Perry +Diego Pettenņ Nathan Peterson SebastiĆ”n E. Peyrott Celso Pinto