# HG changeset patch # User Rik # Date 1392500161 28800 # Node ID a3611f3e80eb7529df19a2c688756ddc49807f6d # Parent 917f1af7d2e4908360f1e350683d0196ed39fa5c# Parent d6736ea0251a612e73d7f8a7658f75afed9908da maint: Merge away extra head diff -r 917f1af7d2e4 -r a3611f3e80eb doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Mon Feb 10 18:49:28 2014 +0100 +++ b/doc/interpreter/contributors.in Sat Feb 15 13:36:01 2014 -0800 @@ -14,6 +14,7 @@ Heinz Bauschke Julien Bect Roman Belov +Markus Bergholz Karl Berry David Billinghurst Don Bindner @@ -86,6 +87,7 @@ Tomislav Goles Keith Goodman Brian Gough +Michael C. Grant Steffen Groot Etienne Grossmann David Grundberg @@ -208,6 +210,7 @@ Michael O'Brien Peter O'Gorman Thorsten Ohl +Kai T. Ohlhus Arno Onken Valentin Ortega-Clavero Luis F. Ortiz @@ -263,6 +266,7 @@ Julian Schnidder Nicol N. Schraudolph Sebastian Schubert +Lasse Schuirmann Ludwig Schwardt Thomas L. Scofield Daniel J. Sebald @@ -279,6 +283,7 @@ Joerg Specht Quentin H. Spencer Christoph Spiel +David Spies Richard Stallman Russell Standish Brett Stewart @@ -322,6 +327,7 @@ Martin Weiser Michael Weitzel David Wells +Joachim Wiesemann Fook Fah Yap Sean Young Michael Zeising