# 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 --git a/doc/interpreter/contributors.in b/doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in +++ b/doc/interpreter/contributors.in @@ -224,6 +224,7 @@ Joshua Redstone Lukas Reichlin Michael Reifenberger +Jens Restemeier Anthony Richardson Jason Riedy E. Joshua Rigler