# HG changeset patch # User John W. Eaton # Date 1368733568 14400 # Node ID 784c765225ba7a254fb692c4e2ea67210998c4ba # Parent dddbb5dcbf6efa67be9bb72389a75dd09f2726b2 * contributors.in: Include Risto Vanhanen in the list. diff -r dddbb5dcbf6e -r 784c765225ba doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Thu May 16 15:43:50 2013 -0400 +++ b/doc/interpreter/contributors.in Thu May 16 15:46:08 2013 -0400 @@ -285,6 +285,7 @@ Stefan van der Walt Peter Van Wieren James R. Van Zandt +Risto Vanhanen Gregory Vanuxem Ivana Varekova Thomas Walter