# HG changeset patch # User Rik # Date 1379900037 25200 # Node ID dea415e4216ddc2d7e2761968cfafa1d14283a73 # Parent 9411ad1afa8498642efe21418dd8beb061010fe3 doc: Add Jens Restemeier to list of contributors. * doc/interpreter/contributors.in: Add Jens Restemeier to list of contributors. diff -r 9411ad1afa84 -r dea415e4216d doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Sun Sep 22 09:27:56 2013 -0700 +++ b/doc/interpreter/contributors.in Sun Sep 22 18:33:57 2013 -0700 @@ -224,6 +224,7 @@ Joshua Redstone Lukas Reichlin Michael Reifenberger +Jens Restemeier Anthony Richardson Jason Riedy E. Joshua Rigler